I put up new rpms at http://www.star-lab.com/sweeks/mlton-20010616-1.src.rpm http://www.star-lab.com/sweeks/mlton-20010616-1.i386.rpm These are not the release rpms. They're just out there so Henry can get his hands on the new profiling stuff.