backport fix for returning system-independent names from CoreLocalVirtualFile.getPath()