> PS: I was unable to figure out if bug reports could be filed somewhere
> on the Trac system.
Having just gone through this myself, I'll share what I learned:
there's a link in the ``Questions and bugs'' section of the main hwloc
page (http://www.open-mpi.org/projects/hwloc/) to the ``hwloc wiki and
bug tracking system''. Follow it, register, log in, and you'll then find
a ``New Ticket'' entry at the top of the page.