[Bug 992058] Publishing:TeXLive/texlive: texlive compilers broken: pdflatex.fmt doesn't match pdftex.pool