more changes to travis config