diff --git a/src/base/io/io.c b/src/base/io/io.c
index c2363cb52052fa7d57b932428bdaef1b2fa209a2..63f1b7d1f9e8c780e0cd94e8f3c09df5f61997eb 100644
--- a/src/base/io/io.c
+++ b/src/base/io/io.c
@@ -25,7 +25,10 @@
 #include "sat/bmc/bmc.h"
 
 #ifdef WIN32
+#include <process.h> 
 #define unlink _unlink
+#else
+#include <unistd.h>
 #endif
 
 ABC_NAMESPACE_IMPL_START