> 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. That's a very compelling argument, and probably the most common situation where one needs to modify the driver. So I now agree with you; it's better to use a script.