Re: [commit: ghc] master: Give hsc2hs different options in different stages; fixes #7705 (f1fcfff)