IFC4 export: The IFC4 export file name with a dot removed the rest of the file name. This has now been fixed.