Workaround two of pdflatex's countless idiocies