Fix the travis script