Doxygen building now seems to work.