I suppose the right thing to do here is to plumb a tmpdir by hand