fixing stl headers