Re: [GHC] #7760: iOS patch no 15: remove HSC2HS_EXTRA from hsc2hs's stage0 wrapper