diff --git a/src/core/wscript b/src/core/wscript
index 8b3b489de..2654cf4df 100644
--- a/src/core/wscript
+++ b/src/core/wscript
@@ -148,11 +148,6 @@ int main ()
                                  conf.env['ENABLE_THREADING'],
                                  "<pthread.h> include not detected")
 
-    conf.check_nonfatal(header_name='stdint.h', define_name='HAVE_STDINT_H')
-    conf.check_nonfatal(header_name='inttypes.h', define_name='HAVE_INTTYPES_H')
-
-    conf.check_nonfatal(header_name='sys/inttypes.h', define_name='HAVE_SYS_INT_TYPES_H')
-
     if not conf.check_nonfatal(lib='rt', uselib='RT, PTHREAD', define_name='HAVE_RT'):
         conf.report_optional_feature("RealTime", "Real Time Simulator",
                                      False, "librt is not available")