diff --git a/wininst/developer_scripts/environment_variables.ini b/wininst/developer_scripts/environment_variables.ini
index 41ec8bceaa1..62bdbdae529 100644
--- a/wininst/developer_scripts/environment_variables.ini
+++ b/wininst/developer_scripts/environment_variables.ini
@@ -77,7 +77,7 @@ Left=10
 Right=-10
 Top=95
 Bottom=105
-Text=Add CGAL-3.4/auxiliary/gmp/lib to the PATH
+Text=Add CGAL-3.5/auxiliary/gmp/lib to the PATH
 State=1
 
 [Field 10]
@@ -86,5 +86,5 @@ Left=10
 Right=-10
 Top=110
 Bottom=135
-Text=CGAL-3.4/auxiliary/gmp/lib contains DLL files. If you do not add this to the PATH, make sure to manually move the DLLs to a directory already in the PATH.
+Text=CGAL-3.5/auxiliary/gmp/lib contains DLL files. If you do not add this to the PATH, make sure to manually move the DLLs to a directory already in the PATH.
 Flags=DISABLED