Need poppler, not pdftohtml