update Doxyfile to work with newer doxygen properly