bump to json-1.8.0, fixes #16