The text ac48318d7a0b, as Debian 9 (Stretch) shipped it.
empty and destroy an EventSet
PAPIF_cleanup_eventset(3) on Linux now
