How to remove libz3-java from Debian Unstable (Sid)