Thanks, but Freecad can also do it. The point is that it is a lot of work to import, extrude, etc. I would prefer a commandline tool that takes the name of an SVG (or DXF) file, and outputs an STL file that I can directly send to my printer (slicer, actually).