cosmetics: updated ghc version number.