Changing the travis config