Makefile.config, inserting data directly into it. This is needed for the
CompileFarm (nightly) and most likely it will help out many people who want
to cross-compile. I might have missed several options out of the
Makefile.config, but those are the needed ones for the CompileFarm.