This should probably be a configurable option.  `/tmp` is sometimes extremely small or inaccessible.  Best to default the tmpdir to `osenv.tmpdir()` (if `tmp` doesn't do this already, that is.)