Arch: fix in IFC export or circles