better Doxyfile