diff --git a/jenkins/ci.jpl b/jenkins/ci.jpl
index f742d50..a1d0aae 100644
--- a/jenkins/ci.jpl
+++ b/jenkins/ci.jpl
@@ -106,7 +106,7 @@
                    build_params["PROFILE"]]
   for (config in mapConfigs) {
     if (config_params == config[0..6]) {
-      configName += config[7].split(' ')[0]
+      configName += config[7].replace(' (', '_').replace(')', '')
       break
     }
   }