rename .tex file