use released version of json-tools