pdftotext sometimes used non-ascii variants of ; and - characters