Permit user-definition of the location of pdflatex.