Remove obsolete json.js extern file.