The text 315add15445d, as Debian 10 (Buster) shipped it.
finish using PAPI and free all related resources.
PAPIF_shutdown(3) on Linux now
