Doxygen
Fix: ref_ext was not loaded