GrepWith_external(): normalize filenames