> I checked in a version that I hope will now work. Success. The only anomaly that I saw was: objdump: /home/mfluet/mlton/mlton-cvs-main/src/rpms/install/usr/local/bin/mlton: File format not recognized But I got the two rpms and they look fine to me.