modified the travis config