diff --git a/src/sat/ba_solver.cpp b/src/sat/ba_solver.cpp
index ebc198e61..0ead8bb40 100644
--- a/src/sat/ba_solver.cpp
+++ b/src/sat/ba_solver.cpp
@@ -17,6 +17,7 @@ Revision History:
 
 --*/
 
+#include <cmath>
 #include "sat/ba_solver.h"
 #include "sat/sat_types.h"
 #include "util/mpz.h"
diff --git a/src/test/sat_local_search.cpp b/src/test/sat_local_search.cpp
index c9e3a18ec..3e137c0b7 100644
--- a/src/test/sat_local_search.cpp
+++ b/src/test/sat_local_search.cpp
@@ -18,7 +18,11 @@ static bool build_instance(char const * filename, sat::solver& s, sat::local_sea
     }
     infile.getline(line, 16383);
     int num_vars, num_constraints;
+#ifdef _WINDOWS
     sscanf_s(line, "%d %d", &num_vars, &num_constraints);
+#else
+    return false;
+#endif
     //std::cout << "number of variables: " << num_vars << '\n';
     //std::cout << "number of constraints: " << num_constraints << '\n';