for compilation with satchmo-smt and ghc-7.8