Fix #698: compilation failure with hwloc absent