[dox] minor Doxyfile update