Updated Doxygen to 1.8.5.