Minor hwloc-related tweak