Removing a.txt