Fix debian package and packaging.