Isn't Tux Racer kinda dead? There were multiple forks (PlanetPenguin Racer, Extreme Tux Racer, Bunny Hill) that I found to be dead too a lot time ago.
Apparently, a couple of people are maintaining ETR again, though. It was needed, because last time I played the game, it couldn't be even finished without manually fixing bugs in some maps.