More travis tweaks...