debian packaging update (fixes #10120)