pdf2htmlex: update 0.12 bottle.