More travis config tweaks