#1202 Added WITH_PYTHON and WITH_JSON options