on windows replace tmp_name