How to remove boolector from Debian Unstable (Sid)