diff --git a/src/aig/gia/giaLutCas.c b/src/aig/gia/giaLutCas.c
index 340996565..265a8812f 100644
--- a/src/aig/gia/giaLutCas.c
+++ b/src/aig/gia/giaLutCas.c
@@ -184,7 +184,11 @@ Gia_Man_t * Gia_ManGenLutCas( Gia_Man_t * p, char * pPermStr, int nVars, int nLu
         srand(Seed); 
     else {
         struct timespec ts;
+#if defined(_MSC_VER)
+        timespec_get(&ts, TIME_UTC);
+#else
         clock_gettime(CLOCK_REALTIME, &ts);
+#endif
         unsigned int seed = (unsigned int)(ts.tv_sec ^ ts.tv_nsec);
         srand(seed);
     }
diff --git a/src/misc/util/utilPrefix.cpp b/src/misc/util/utilPrefix.cpp
index 50db0723c..cde54a42e 100644
--- a/src/misc/util/utilPrefix.cpp
+++ b/src/misc/util/utilPrefix.cpp
@@ -37,6 +37,7 @@
 #include <random>
 #include <climits>
 #include <iomanip>
+#include <string>
 //#include <cstdlib>
 //#include <cstring>
 //#include <cstdio>
diff --git a/src/sat/bmc/bmcMaj.c b/src/sat/bmc/bmcMaj.c
index b82f35777..4f8f4dab5 100644
--- a/src/sat/bmc/bmcMaj.c
+++ b/src/sat/bmc/bmcMaj.c
@@ -1085,7 +1085,11 @@ Vec_Wec_t * Exa3_ChooseInputVars( int nVars, int nLuts, int nLutSize, int Seed )
         srand(Seed); 
     else {
         struct timespec ts;
+#if defined(_MSC_VER)
+        timespec_get(&ts, TIME_UTC);
+#else
         clock_gettime(CLOCK_REALTIME, &ts);
+#endif
         unsigned int seed = (unsigned int)(ts.tv_sec ^ ts.tv_nsec);
         srand(seed);
     }