Stop using io.tmpfile() in script embedding; doesn't always work on Windows