Fix the travis file