again some .travis tweaks