Static build for z3