gnome-menus upgraded and patches