Re: z3 soname bump