extra/ghc to 7.8.2-3