updates for Doxygen 1.8.4