checking in extra/ghc - with some ugly bootstrapping helper code inside