scale([8,8,0])
  linear_extrude(file="../../circle.dxf");