Fix the travis script.