Fix installation (we need to use the right ghc-pkg)