bugfix in pdflatexex_mod