I also have the problem that when I do a fresh make nj-mlton in src/mlton, I get errors in the ml.lex and ml.grm produced files (I need to add in some type int = Int.t declaration and change some strings to Char vectors). Do I need to use the mlton version of ml-lex/yacc to produce the right files?