pdf2htmlex: upstream patch to fix build with latest poppler