Use `grep -F` instead of deprecated fgrep.

(In addition to the deprecation bit, this is useful on Windows
where people might have grep but not fgrep.)