Same instructions across platforms/tweak mkExe.hs