--- a/CRC32Stream.st Tue Mar 19 14:08:27 2019 +0100 +++ b/CRC32Stream.st Tue Mar 19 17:28:18 2019 +0100 @@ -34,8 +34,6 @@ #if defined(__x86__) || defined(__x86_64__) # if defined(__GNUC__) -# pragma GCC push_options -# pragma GCC target ("arch=core-avx2") # define HAS_CRC # endif