Update Debian packaging.

This supersedes #1649.