Get Doxygen working properly again.