update for newer ghc's