Better pdflatex options