Update VirtualFileSystem.tex