Delete extension.js~