Fix doxygen/Doxyfile