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