The text 08e23c325c2b, as Debian 7 (Wheezy) shipped it.
a more convenient way to set a framerate
SDLx::FPS(3pm) on Linux now