a faster version of supertux (https://code.google.com/p/supertux)