> Yikes. Objdump is what reads binary files (who knows who was doing that, but > it doesn't look good that it failed). The quick guess is that rpm noticed that you were putting a file with executable status in /usr/local/bin and for some reason wanted to check it. But /usr/local/bin/mlton is just a shell script.