still more travis tweaks