Arch: Still more fixes to ifc export...