gnome-menus: fixe