fix pdfgrep pattern bug