Debian packaging: Bug fix for dpkg-deb example