Re: [GHC] #7728: ghc-pkg does not build