fixed cabal and travis