even more travis tweaks