/usr/share/hwloc/hwloc.dtd