fix the travis config