hwloc_topology_set_synthetic(3) on Linux

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

hwloc_topology_set_synthetic(3) on Linux now