How to install depqbf on Debian Unstable (Sid)