Fix Debian package section name.