[PATCH 13/29] gnump3d: Ship due to sobump from json-c update