PAPI_set_multiplex(3) on Linux

The text ceb2fcf2e09e, as Debian 9 (Stretch) shipped it.

Convert a standard event set to a multiplexed event set.

PAPI_set_multiplex(3) on Linux now