diff --git a/contrib/ci.inria.fr/job-1-wincmake.bat b/contrib/ci.inria.fr/job-1-wincmake.bat
index f65a29919a..e703e10650 100644
--- a/contrib/ci.inria.fr/job-1-wincmake.bat
+++ b/contrib/ci.inria.fr/job-1-wincmake.bat
@@ -17,7 +17,10 @@ echo ############################
 sh -c "tar xfz %TARBALL%"
 if %errorlevel% neq 0 exit /b %errorlevel%
 
-cmake --install-prefix=%cd%/install -DCMAKE_BUILD_TYPE=Release -B build -S %TARBALL:~0,-7%/contrib/windows-cmake
+cd %TARBALL:~0,-7%\contrib\windows-cmake
+if %errorlevel% neq 0 exit /b %errorlevel%
+
+cmake --install-prefix=%cd%/install -DCMAKE_BUILD_TYPE=Release -B build
 if %errorlevel% neq 0 exit /b %errorlevel%
 
 cmake --build build --parallel