Tweak deskutils/gnome-main-menu version 0.9.12_8