working around the print_z3_statistics failure introduced by in the recent ci script
working around the print_z3_statistics failure introduced by in the recent ci script

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