The text bf4a926c23fe, as Debian 12 (Bookworm) shipped it.
Mutex for shared memory
sharedmutex(3bobcat) on Linux now
