Fix doxygen packaging issue