How to remove minisat from Debian Unstable (Sid)