update doxygen a bit