doc: Fix doxydoc build