Manually sync ghc (Hope this is okay!)