Doxyfile tweak