add missing section in Debian packaging