diff --git a/src/base/main/mainUtils.c b/src/base/main/mainUtils.c
index 5db012cfe..018914f9c 100644
--- a/src/base/main/mainUtils.c
+++ b/src/base/main/mainUtils.c
@@ -20,6 +20,7 @@
 
 #ifdef WIN32
 #include <process.h> 
+#include <io.h>
 #else
 #include <unistd.h>
 #endif
diff --git a/src/sat/kissat/colors.c b/src/sat/kissat/colors.c
index c6141b749..7c41fba61 100644
--- a/src/sat/kissat/colors.c
+++ b/src/sat/kissat/colors.c
@@ -1,6 +1,7 @@
 #include "colors.h"
 
 #if defined(WIN32) && !defined(__MINGW32__)
+#include <io.h>
 #define isatty _isatty
 #else
 #include <unistd.h>
diff --git a/src/sat/kissat/file.c b/src/sat/kissat/file.c
index e4486783d..c0d14c6cc 100644
--- a/src/sat/kissat/file.c
+++ b/src/sat/kissat/file.c
@@ -9,10 +9,12 @@
 #include <sys/types.h>
 
 #ifdef WIN32
+#include <io.h>
 #define unlink _unlink
 #define access _access
 #define R_OK 4
 #define W_OK 2
+#define	S_ISDIR(mode)  (((mode) & S_IFMT) == S_IFDIR)
 #else
 #include <unistd.h>
 #endif