PDFMiner made breaking interface changes

We should adapt to these.