Update z3
Merge pull request #2 from ciffer/patch-1

Update z3