Add STL export.