Change gebo-pdf2htmlEX to gebo-pdf2htmlex