This bug has been fixed in later versions of grep. I can reproduce the
bug with grep 2.8 but not with grep 2.18, the current version.
- bug#15524: Inconsistent case-sensitivity behavior Mark H Weaver
- bug#15524: Inconsistent case-sensitivity behavior Paul Eggert
