Adding pdflatex