pdftohtml config