--- 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