Rename tex source