travis and cabal fixes