Correct apt-get name of hwloc package