use pdflatex for pdf output