Re: [GHC] #7990: ghc-pkg warning shows the wrong command