More travis tweaks...again