add the sgi stl source.