pkgsrc/math/minisat/patches