diff --git a/libsrc/core/paje_trace.hpp b/libsrc/core/paje_trace.hpp
index d2584487..2addc0e3 100644
--- a/libsrc/core/paje_trace.hpp
+++ b/libsrc/core/paje_trace.hpp
@@ -3,7 +3,6 @@
 
 #include <limits>
 #include <vector>
-#include <x86intrin.h>   // for __rdtsc()  CPU time step counter
 
 #include "logging.hpp"       // for logger
 #include "ngcore_api.hpp"    // for NGCORE_API
diff --git a/libsrc/core/utils.hpp b/libsrc/core/utils.hpp
index 2c88629d..c8dc1e9e 100644
--- a/libsrc/core/utils.hpp
+++ b/libsrc/core/utils.hpp
@@ -4,7 +4,12 @@
 #include <chrono>
 #include <sstream>
 #include <string>
+
+#ifdef WIN32
+#include <intrin.h>   // for __rdtsc()  CPU time step counter
+#else
 #include <x86intrin.h>   // for __rdtsc()  CPU time step counter
+#endif // WIN32
 
 #include "ngcore_api.hpp"       // for NGCORE_API