use statically compiled pdftohtml