add gnome-menus3