Updated to doxygen 1.8.3.1