gnome-menus: rebuild