How to install python-z3 on Debian Unstable (Sid)