The text a698cf4ddadc, as Debian 10 (Buster) shipped it.
initialize the PAPI library.
PAPI_library_init(3) on Linux now
