pdftotext now outputs strict ascii text