pkgsrc/math/yices2/patches