Now I'm able to compile programs by using gcc by hand, but OS.Process.system doesn't work from within my code. Presumably this is related to the problem that mlton itself is having, as it falls over when first running an external command (gcc). - Andrew.