yet more travis tweaks