More travis tweaking