@@ -66,7 +66,7 @@ codegenC' defs out exec incs objs libs flags dbg
6666 let args = [gccDbg dbg] ++
6767 gccFlags ++
6868 -- # Any flags defined here which alter the RTS API must also be added to config.mk
69− ["-DHAS_PTHREAD", "-DIDRIS_ENABLE_STATS",
69+ ["-DHAS_PTHREAD", "-DIDRIS_ENABLE_STATS", "-msse2",
7070 "-I."] ++ objs ++ ["-x", "c"] ++
7171 (if (exec == Executable) then [] else ["-c"]) ++
7272 [tmpn] ++