PAPI_remove_named_event(3) on Linux

The text a4a3fa70a848, as Debian 8 (Jessie) shipped it.

removes a named hardware event from a PAPI event set.

PAPI_remove_named_event(3) on Linux now