Update the Doxygen configuration file to be compatible with the slightly older version of Doxygen on the server