The tmpdir stuff is optional and specific to something weird in our environment