Merge pull request #5 from schnitzeltony/patches

fixes for current head + supertux
gnome-games: initial add 2.31.6 WIP

Signed-off-by: Andreas Müller <schnitzeltony@googlemail.com>