> Well, I got further than I did last time: I checked in a version that I hope will now work. make-rpms now calls rpm with the --buildroot option to cause the install to occur in the mlton/rpms directory, so there are no collisions between people building on the same machine.