Removing obsolete setting in Doxyfile