Fix the travis config.