patched json version, no more read-json