Remove unneeded json.js extern