SDL_PumpEvents(3) on Linux

The text f5e438821463, as Debian 5.0 (Lenny), Debian 4.0 (Etch), Debian 3.1 (Sarge), Debian 3.0 (Woody) shipped it.

SDL_PumpEvents(3) on Linux now