added the sgi stl source