Tweaking kdt.cabal for Travis CI