have deleted other_file.txt