Fix cabal file and travis script