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