added additional json values, used by compileVerifier