rename file to make life easier for LaTeX