debian packaging update (fixes #7060)