change to the right IfcOpenShell sources