The text b60d00dcf7b2, as Debian 7 (Wheezy) shipped it.
release the mutex
mutex_unlock(9) on Linux now
