Totally remove cedet-settings.el