wrote up new script to generate a platform dependent mlton script