Arch: Fixed some bugs in IFC export