Fix doxygen configuration file