Fix build after doc/projects/xml-tools integration.