debian: what we really need is deb package