better pdf generation, using pdflatex