Rename a to a.txt