tweaked a few things in mlton.sh to test if the script can be created