How to remove picosat from Debian Unstable (Sid)