Use doxygen 1.8.5