diff --git a/idlib/precompiled.h b/idlib/precompiled.h
index 2181a8b..e3600ca 100644
--- a/idlib/precompiled.h
+++ b/idlib/precompiled.h
@@ -63,18 +63,6 @@ If you have questions concerning this license or the applicable additional terms
 	#define NDEBUG
 #endif
 
-#include <inttypes.h>
-#include <stdio.h>
-#include <stdlib.h>
-#include <stdarg.h>
-#include <string.h>
-#include <assert.h>
-#include <time.h>
-#include <ctype.h>
-#include <typeinfo>
-#include <errno.h>
-#include <math.h>
-
 //-----------------------------------------------------
 
 // non-portable system services
diff --git a/sys/platform.h b/sys/platform.h
index 06ebd5e..f062829 100644
--- a/sys/platform.h
+++ b/sys/platform.h
@@ -196,6 +196,18 @@ If you have questions concerning this license or the applicable additional terms
 #define id_attribute(x)
 #endif
 
+#include <inttypes.h>
+#include <stdio.h>
+#include <stdlib.h>
+#include <stdarg.h>
+#include <string.h>
+#include <assert.h>
+#include <time.h>
+#include <ctype.h>
+#include <typeinfo>
+#include <errno.h>
+#include <math.h>
+
 #ifdef _WIN32
 #define WIN32_LEAN_AND_MEAN
 #include <windows.h>