Matthew Fluet mfluet@intertrust.com
Fri, 10 Aug 2001 15:32:26 -0700 (PDT)

> 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.