rename_all_tmp_files.sh edited