Rename tex file