change name of .tex