I would like to request that MLton be installed on the contest machine. The binary rpm is available of the MLton home page at http://www.sourcelight.com/MLton/mlton-20000712-2.i386.rpm