More travis modifications