Update the doxygen configuration for 1.8.3.1