NFS: use tok2str()