catch2/scripts/developBuild.py