Rename tex files.