kicad hole export: a circle on the edge layer