I don't agree: if I get the mlton binaries, but have to install them in some weird place or some such, before I can run them then I am pimped if I have to run them to change the driver program. With a shell script, I can just edit it.