Fixes for hwloc renaming to lowercase.