DocExtract: better error message when pdftotext is missing