fix the travis file