fix pdflatex compilation