The text b8ba35de5ae4, as Debian 9 (Stretch) shipped it.
Remove a hardware event from a PAPI event set.
PAPIF_remove_event(3) on Linux now
