Use pdflatex to generate the file