The text 9c74bcd83338, as Debian 7 (Wheezy) shipped it.
initialize the mutex
mutex_init(9) on Linux now
