The text 9d1b11d975ad, as Debian 7 (Wheezy) shipped it.
hwloc_get_obj_covering_cpuset(3) on Linux now
