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