The text a2065a4d4e9d, as Debian 8 (Jessie) shipped it.
fast user-space locking
futex(2) on Linux now
