[Cin] Debian packaging improvements