Fix doxygen packaging