fix error:unknown type name 'FILE'