pdfgrep: use sourceforge exlib from arbor