Fix the travis config