Re: [GHC] #4931: hsc2hs emits invalid OPTIONS_GHC pragmas