FilePath: better tmp_file name generator