Stephen just sent me RPMs with the fixes you wanted, and I just put them on our web site. Go to http://sourcelight.com/MLton/EXPERIMENTAL and you will find the source and binary RPM for them (mlton-20010823-1). See you at ICFP.