[GHC] #8824: cloning from https://github.com/ghc/ghc.git is broken