json-c: update to 0.13