Made pdflatex to do whaat we want