more travis tweaks..