diff --git a/Scripts/developer_scripts/create_internal_release b/Scripts/developer_scripts/create_internal_release
index 2677acd68ed..6a7a315f28c 100755
--- a/Scripts/developer_scripts/create_internal_release
+++ b/Scripts/developer_scripts/create_internal_release
@@ -301,8 +301,8 @@ sub create_version_tex_file()
         $newver = $VERSION;
     }
 
-# And here we also strip the -I-... part to get the public version number
-    if ($result = $VERSION =~ /CGAL-(.*)-I-/){
+# And here we also strip the -I- (or -Ic-)... part to get the public version number
+    if ($result = $VERSION =~ /CGAL-(.*)-Ic?-/){
         $publicver = $1;
     } else {
         $publicver = $VERSION;