fix the travis file.