diff --git a/src/system/libroot/os/arch/x86_64/system_time.cpp b/src/system/libroot/os/arch/x86_64/system_time.cpp
index 76597de4d8..5678d31323 100644
--- a/src/system/libroot/os/arch/x86_64/system_time.cpp
+++ b/src/system/libroot/os/arch/x86_64/system_time.cpp
@@ -6,10 +6,7 @@
 
 #include <stdint.h>
 
-//#include <x86intrin.h>
-#define _X86INTRIN_H_INCLUDED
-#include <ia32intrin.h>
-
+#include <x86intrin.h>
 
 
 static uint64_t cv_factor;