Update Cabal file for Travis build