STL export works.