rename the tex file