gnome-menus:add patch