How to install cvc3 on Debian Unstable (Sid)