grep: the --mmap option has been a no-op since 2010