One bug left here: if there was no existing $PROVISIONER_JSON file, this part doesn't work (since json_read actually fails in verbose mode).