doc: latest doxygen 1.8.3