convert vector to stl