How to remove sat4j from Debian Unstable (Sid)