changed: File to VFile