Hello, For the game menu, the bug is described here: https://bugs.launchpad.net/gnome-menus/+bug/413728 It's related to the way the menu is being build on debian/ubuntu. Marc