getting doxygen 1.8