Re: [GHC] #8156: amd64 + in-tree gmp build broken