use batchmode for pdflatex