Minor SuperTux speed tweak (gcLinux)