More travis tweaks.