patch #140 removed discovered from definition, kill active_menus_default config