Rename report.txt to report.tex