replace slow pdf miner with fast pdftotext utility