How to install boolector on Debian Unstable (Sid)