Index: scripts/internal/embed_srcserver_info.bat
===================================================================
diff -u -N -r718a83fb4e17e7d6160fdbf11b154e2068278586 -re53e822ded434e64c531cd6504758d2b74b987a5
--- scripts/internal/embed_srcserver_info.bat	(.../embed_srcserver_info.bat)	(revision 718a83fb4e17e7d6160fdbf11b154e2068278586)
+++ scripts/internal/embed_srcserver_info.bat	(.../embed_srcserver_info.bat)	(revision e53e822ded434e64c531cd6504758d2b74b987a5)
@@ -19,7 +19,7 @@
 	goto error
 )
 
-SET _command=call svnindex.cmd /debug /source=%MainProjectDir%\src\ictranslate;%MainProjectDir%\src\libictranslate;%MainProjectDir%\src\libicpf;%MainProjectDir%\src /symbols=%MainProjectDir%\bin\release
+SET _command=call "%SVNINDEXCMD%" /debug /source=%MainProjectDir%\src\ictranslate;%MainProjectDir%\src\libictranslate;%MainProjectDir%\src\libicpf;%MainProjectDir%\src /symbols=%MainProjectDir%\bin\release
 !_command! >"%TmpDir%\command.log"
 if errorlevel 1 (
 	echo ERROR: Error encountered while embedding source server information. See the log below: