New attribute 'file' for event type TC_FINISHED