deskutils/gnome-main-menu: fix