fix doxygen warning
debian packaging update