Yet another update to the Doxygen configuration file to be compatible with the slightly older version of Doxygen on the server