Better pdflatex options

Fix #9