[PATCH] nfsd4: rename nfs4_file fields