Support for extraction of text from PDF files