Upgrade `jsontool` to 7.0.1