[Bug 732438] game supertux2 is not able to start