Further travis tweaks