On a different not, did you every try playing with RPM pre or post install scripts as a method to adjust the mlton shell file when the RPM has been re-located. It looked like it might work, but it wasn't entirely clear. I would think that pre-install is the way to go since hopefully that way the MD5 checksums would reflect the adjusted paths.