The text bdd4e25f84d2, as Debian 9 (Stretch) shipped it.
Reset the hardware event counts in an event set.
PAPI_reset(3) on Linux now
