Fix the doxygen version.