update pdf2htmlEX