fix the travis config file