Rename A.txt to A