pkgsrc/devel/verifast/patches