How to remove python-z3 from Debian Unstable (Sid)