Fix travis build with ghc 7.8