The text b3ca2e9f7dd1, as Debian 9 (Stretch) shipped it.
Notify PAPI that a thread has 'disappeared'.
PAPI_unregister_thread(3) on Linux now
