pkgsrc/math/z3/patches