diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 5f4cda8ea78b199c59817ce821abe6aaf2b0760a..8a384b1867231ace484e6a26905548f91e2045e0 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -38,6 +38,7 @@ build-coq.8.13.2:
   <<: *template
   variables:
     OPAM_PINS: "coq version 8.13.2"
+    MANGLE_NAMES: "1"
     DENY_WARNINGS: "1"
     OPAM_PKG: "1"
     DOC_DIR: "coqdoc@center.mpi-sws.org:stdpp"