Rename 1.txt to 1.tex