diff --git a/src/sat/bmc/bmcMaj8.c b/src/sat/bmc/bmcMaj8.c
index 5b65fbbbf4..663a5fdfc5 100644
--- a/src/sat/bmc/bmcMaj8.c
+++ b/src/sat/bmc/bmcMaj8.c
@@ -27,10 +27,7 @@
 #include "base/main/main.h"
 #include "base/cmd/cmd.h"
 
-#ifdef _WIN32
-#include <windows.h>
-typedef __int64 int64_t;
-#endif
+#include <stdint.h>
 
 #define KISSAT_UNSAT 20
 #define KISSAT_SAT   10
diff --git a/src/sat/bmc/bmcMaj9.c b/src/sat/bmc/bmcMaj9.c
index ea8ac9d17d..f3187f144d 100644
--- a/src/sat/bmc/bmcMaj9.c
+++ b/src/sat/bmc/bmcMaj9.c
@@ -27,12 +27,7 @@
 #include "base/main/main.h"
 #include "base/cmd/cmd.h"
 
-#ifdef _WIN32
-#include <windows.h>
-typedef __int64 int64_t;
-#else
-#include <unistd.h>
-#endif
+#include <stdint.h>
 #include <limits.h>
 
 #define KISSAT_UNSAT 20