Fix hoogle not generating right ghc version