[Bug 222516] gnome-main-menu cannot launch