/devel/sgi-stl/files/