Arch: more bugfixing in ifc exporter