upgrade to doxygen 1.8.4