Added building the PDF with pdflatex.