Re: Getting vnode from filename?