The text ec7769b01f62, as Debian 10 (Buster) shipped it.
Unlock one of the mutex variables defined in papi.h.
PAPI_unlock(3) on Linux now
