switching pdftohtml to pdftotext