Change name of milestone Tex file