adapt to newer(?) pdfminer API