pkgsrc/devel/sgi-stl/files