Arch: added workarounds for export bugs in ifcopenshell