Re: [GHC] #8880: Configured gcc not used for some build steps