script to build pdf2htmlEX and some of its dependencies