Update hwloc/rename.h