Some travis tweaks