We have to generate the header using the same definitions and flags we use for compiling the actual code. With this fix in place, JavaScriptCore and the `jsc` REPL now work!