Remove the no-ghci-lib warning in ghc-pkg