GG_SPLAY_MIN(3) on Linux

The text 877f3324da2f, as Debian 4.0 (Etch) shipped it.

GG_SPLAY_MIN(3) on Linux now