tempfile.gettempdir() does the right thing