Delete ext_mapping.js