57d89d1c0c
not using in Open MPI (i.e., that stuff is only used in the standalone builds of hwloc -- it's not compiled/installed/used by Open MPI). This commit was SVN r23416.