Updated pdf2htmlEX to v0.8.1