Re: [GHC] #9499: Add -prelude-is flag