debian packaging tweak.