release.sh: remove no longer needed tool-private jsons