Fix syntax in test_travis.sh