( not needed for the current work on jsonschema draft 7 support, but
done at the same time, to merge together two unrelated changes which
cause recompilation so that we recompile only once )