implemented isSameFile()