How to install libz3-jni on Debian Unstable (Sid)