The text a51da26db7ab, as Debian 9 (Stretch) shipped it.
Read and reset counters.
PAPI_read_counters(3) on Linux now
