use new version of json-tools