we deleted file.txt