--- z3-z3-4.8.9/src/util/hwf.cpp.orig	2021-02-04 20:15:45.155087700 -0800
+++ z3-z3-4.8.9/src/util/hwf.cpp	2021-02-04 20:16:28.030101000 -0800
@@ -48,7 +48,7 @@
 // clear to the compiler what instructions should be used. E.g., for sqrt(), the Windows compiler selects
 // the x87 FPU, even when /arch:SSE2 is on.
 // Luckily, these are kind of standardized, at least for Windows/Linux/macOS.
-#if defined(__clang__) || defined(_M_ARM) && defined(_M_ARM64)
+#if defined(_M_ARM) && defined(_M_ARM64)
 #undef USE_INTRINSICS
 #endif