Debian packaging: make cinaest depend on the same version of libcinaest