changed the travis config