Debian packaging issues