latex file renamed