Add specs for VirtualFileSystem class