html-xml-utils: still fails with clang 425