More travis tweaks