More fixes to the Debian packaging.