prepare for a new version of pdftohtmlEX