debian packaging update (merge and squash PR#1725)