Arch: Fixed face normals in IFC export