The text cbd5f6033fde, as Debian 9 (Stretch) shipped it.
Set PAPI library or event set options.
PAPI_set_opt(3) on Linux now
