Fix version of the z3 binaries fetched by 'make prepare'
Fix version of the z3 binaries fetched by 'make prepare'

mitls/hacl-star,mitls/hacl-star,mitls/hacl-star,mitls/hacl-star,mitls/hacl-star,mitls/hacl-star,mitls/hacl-star,mitls/hacl-star,mitls/hacl-star