I think it makes sense to use os.tmpdir() for all OSes.