diff --git a/ghc/runtime/main/Itimer.lc b/ghc/runtime/main/Itimer.lc
index 106882571a90970c67b8d69318acaa75e8248ed7..bf845f08d20722e14922f48658f8000c5c41e2cf 100644
--- a/ghc/runtime/main/Itimer.lc
+++ b/ghc/runtime/main/Itimer.lc
@@ -20,7 +20,9 @@ to support.  So much for standards.
 
 #if defined(PROFILING) || defined(CONCURRENT)
 
-# include "platform.h"
+/* OLD: # include "platform.h" */
+
+# include "config.h"
 
 # define NON_POSIX_SOURCE