gnome-menus: version bump