changes to travis config