change tex file name