diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 4d1bce944490f71e5b47087176e413b7062b226e..69b0df66a7d5ea41079d0950489f6da5a898107c 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -33,6 +33,7 @@ build-coq.8.13.1:
     OPAM_PINS: "coq version 8.13.1"
     OPAM_PKG: "1"
     DENY_WARNINGS: "1"
+    MANGLE_NAMES: "1"
   tags:
   - fp-timing