made pdfgrep case-insensitive