Delete sudo-ext.el.