Exporting .STL files from OpenSCAD