Add patch to make it compatible with pdfminer 20200720 Submitted upstream as https://github.com/jbarlow83/OCRmyPDF/pull/596