tweak for ghc 7.8 (c2hs fails due to old alex)