Re: [GHC] #11530: Make fails on systems with GREP_OPTIONS