Remove last vestiges of hwloc 1.7.2