Correct for incompatible option in doxygen config file.