Fix Debian packaging.
Debian packaging works!