Changes to travis config