diff --git a/proving/windows-wsl2/setup-prover.ps1 b/proving/windows-wsl2/setup-prover.ps1
index d87ae7142..401663f6b 100644
--- a/proving/windows-wsl2/setup-prover.ps1
+++ b/proving/windows-wsl2/setup-prover.ps1
@@ -8,7 +8,7 @@ $distro = 'Ubuntu-24.04'
 function Is-Admin { ([Security.Principal.WindowsPrincipal][Security.Principal.WindowsIdentity]::GetCurrent()).IsInRole([Security.Principal.WindowsBuiltInRole]::Administrator) }
 if (-not (Is-Admin)) {
   Write-Host 'Asking for administrator rights (WSL install needs them)...'
-  Start-Process powershell -Verb RunAs -ArgumentList @('-NoProfile', '-ExecutionPolicy', 'Bypass', '-File', "`"$PSCommandPath`"")
+  Start-Process powershell -Verb RunAs -ArgumentList @('-NoExit', '-NoProfile', '-ExecutionPolicy', 'Bypass', '-File', "`"$PSCommandPath`"")
   exit
 }