Delete specify_defs.js