travis: make pdftotext available