Update Doxyfile configuration for doxygen 1.5.8: