adding stl binary export