IFC file, which can be used for BIMServer related development