Use my patched Z3.