B4R Question ESP32 OTA update - what .bin file ?

Private Sub AppStart
    Serial1.Initialize(115200)
    Log("AppStart")
 
    For i=1 To 10
        Log("Connecting to WiFi...")
        Log(i)
     
    If wifi.Connect2("wifi","password") Then
    Log("Connected to wireless network.")
    Log("My ip: ", wifi.LocalIp)
            InitFS
            bc.ArrayCopy("http://pmaker.ru/update.bin", FullPath)
            bc.ArrayCopy("/update.bin", SaveAs) '/ is important!
            fs.Remove(bc.StringFromBytes(SaveAs))
            Log("Old update.bin - deleted")
            ListFiles
            DownloadFile
            ListFiles
            RunNative("updateFromFS", Null)
            Exit
        Else
            Log("Failed to connect...")
        End If
    Next
 
End Sub

Sub DownloadFile
    RunNative("downloadfile", Null) 
End Sub

Sub InitFS
    Log("Initializing Filesystem...")
 
    If(fs.Initialize())=False Then
        Log("Formatting Filesystem. This may take some time")
        fs.Format
        If(fs.Initialize())=True Then
            Log("Formatting succesful...")
         
        Else
            Log("Error formatting Filesystem...")
        End If
    End If
    fs.Format
    ListFiles
End Sub

Sub ListFiles
    Log("Files:")
    For Each f As File In fs.ListFiles("/")
        Log("     ",f.Name," Size: ",f.Size)
    Next
    Log("Total size: ", fs.TotalSize, " B")
    Log("Used size: ", fs.UsedSize, " B")
End Sub