Fix: unable to run doxygen