How to install z3 on Debian Unstable (Sid)