SuperTux source code, view http://supertux.googlecode.com for up-to-date source code