Index: MultiSource/Applications/minisat/Main.cpp
===================================================================
--- MultiSource/Applications/minisat/Main.cpp
+++ MultiSource/Applications/minisat/Main.cpp
@@ -76,7 +76,7 @@
 static inline uint64_t memUsed() { return 0; }
 #endif
 
-#if defined(__linux__)
+#if defined(__GLIBC__)
 #include <fpu_control.h>
 #endif