Arch:workaround for horizontal extrusions in IFC export