diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 5fba7867d17fbc44b1ff054cd08ed60ed677e3de..de16cf2cf253245ec1a32b4bd036f40863b011bd 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -31,7 +31,7 @@ build-coq.dev:
   <<: *template
   variables:
     OPAM_PINS: "coq version dev"
-    MANGLE_NAMES: "1"
+    #MANGLE_NAMES: "1" name mangling causes issues with string_ident
 
 build-coq.8.13.1:
   <<: *template