Fix doxygen build