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