Fix building with ghc < 7.8