ports/math/z3/patches
