rename tex file