docker/windows: Download Python installer as python3-installer

Having a binary called 'python3' anywhere that might accidentally end
up in PATH is asking for trouble.

diff --git a/docker/windows/install_toolchain.ps1 b/docker/windows/install_toolchain.ps1
index 2d4260e..5c50e1b 100644 (file)
--- a/docker/windows/install_toolchain.ps1
+++ b/docker/windows/install_toolchain.ps1
@@ -12,9 +12,9 @@ Start-Process C:\vs_buildtools.exe -ArgumentList '--quiet --wait --norestart --n
 Remove-Item C:\vs_buildtools.exe -Force
 
 Write-Host "Installing Python"
-Invoke-WebRequest -Uri $python_dl_url -OutFile C:\python3.exe
-Start-Process C:\python3.exe -ArgumentList '/quiet InstallAllUsers=1 PrependPath=1' -Wait
-Remove-Item C:\python3.exe -Force
+Invoke-WebRequest -Uri $python_dl_url -OutFile C:\python3-installer.exe
+Start-Process C:\python3-installer.exe -ArgumentList '/quiet InstallAllUsers=1 PrependPath=1' -Wait
+Remove-Item C:\python3-installer.exe -Force
 
 Write-Host "Installing Git"
 Invoke-WebRequest -Uri $git_url -OutFile C:\mingit.zip