How to remove depqbf from Debian Unstable (Sid)