add FileId::__toString() function