pkgsrc/devel/sgi-stl/patches