Do you have an IFC4 file. Please share.