simple patch make it works fine with the new apis of pdfminer