*** This bug is a duplicate of bug 76948 *** ** This bug has been marked a duplicate of bug 76948 Please backport supertux to edgy. -- backport supertux https://launchpad.net/bugs/76834