I send mail to Norman also asking for the version of Red Hat and telling him that I could make RPMs if it is something I have. As to the bug, could it be that that version of MLton got confused by the mlton @MLton -- ... stuff (i.e., no MLton runtime ops)?