Switch to official version of hwloc