diff --git a/Makefile b/Makefile
index 3504397b9d..585bfe8d52 100644
--- a/Makefile
+++ b/Makefile
@@ -209,8 +209,8 @@ ifeq ($(detected_OS),Darwin)
  endif
 endif
 
-RELEASE ?= false
-ifeq ($(RELEASE),false)
+INCLUDE_DEBUG_SYMBOLS ?= false
+ifeq ($(INCLUDE_DEBUG_SYMBOLS),true)
  # We need `-d:debug` to get Nim's default stack traces
  NIM_PARAMS += -d:debug
  # Enable debugging symbols in DOtherSide, in case we need GDB backtraces
diff --git a/ci/Jenkinsfile.linux b/ci/Jenkinsfile.linux
index 4ad43225c2..48c4e4b42c 100644
--- a/ci/Jenkinsfile.linux
+++ b/ci/Jenkinsfile.linux
@@ -18,9 +18,14 @@ pipeline {
   parameters {
     booleanParam(
       name: 'RELEASE',
-      description: 'Decides whether binaries are built with debug symbols.',
+      description: 'Decides whether release credentials are used.',
       defaultValue: params.RELEASE ?: false
     )
+    booleanParam(
+      name: 'INCLUDE_DEBUG_SYMBOLS',
+      description: 'Decides whether binaries are built with debug symbols.',
+      defaultValue: params.INCLUDE_DEBUG_SYMBOLS ?: false
+    )
     choice(
       name: 'VERBOSE',
       description: 'Level of verbosity based on nimbus-build-system setup.',
@@ -129,4 +134,4 @@ def getArch() {
   for (def arch in ['x86_64', 'aarch64']) {
     if (tokens.contains(arch)) { return arch }
   }
-}
\ No newline at end of file
+}
diff --git a/ci/Jenkinsfile.macos b/ci/Jenkinsfile.macos
index 5c8c6f2581..5eee9f5d14 100644
--- a/ci/Jenkinsfile.macos
+++ b/ci/Jenkinsfile.macos
@@ -13,9 +13,14 @@ pipeline {
   parameters {
     booleanParam(
       name: 'RELEASE',
-      description: 'Decides whether binaries are built with debug symbols.',
+      description: 'Decides whether release credentials are used.',
       defaultValue: params.RELEASE ?: false
     )
+    booleanParam(
+      name: 'INCLUDE_DEBUG_SYMBOLS',
+      description: 'Decides whether binaries are built with debug symbols.',
+      defaultValue: params.INCLUDE_DEBUG_SYMBOLS ?: false
+    )
     choice(
       name: 'VERBOSE',
       description: 'Level of verbosity based on nimbus-build-system setup.',
diff --git a/ci/Jenkinsfile.windows b/ci/Jenkinsfile.windows
index f50cc2d9a2..8b84860ee5 100644
--- a/ci/Jenkinsfile.windows
+++ b/ci/Jenkinsfile.windows
@@ -10,9 +10,14 @@ pipeline {
   parameters {
     booleanParam(
       name: 'RELEASE',
-      description: 'Decides whether binaries are built with debug symbols.',
+      description: 'Decides whether release credentials are used.',
       defaultValue: params.RELEASE ?: false
     )
+    booleanParam(
+      name: 'INCLUDE_DEBUG_SYMBOLS',
+      description: 'Decides whether binaries are built with debug symbols.',
+      defaultValue: params.INCLUDE_DEBUG_SYMBOLS ?: false
+    )
     choice(
       name: 'VERBOSE',
       description: 'Level of verbosity based on nimbus-build-system setup.',
diff --git a/ci/cpp/Jenkinsfile.linux b/ci/cpp/Jenkinsfile.linux
index b373173383..05033d0441 100644
--- a/ci/cpp/Jenkinsfile.linux
+++ b/ci/cpp/Jenkinsfile.linux
@@ -18,9 +18,14 @@ pipeline {
   parameters {
     booleanParam(
       name: 'RELEASE',
-      description: 'Decides whether binaries are built with debug symbols.',
+      description: 'Decides whether release credentials are used.',
       defaultValue: params.RELEASE ?: false
     )
+    booleanParam(
+      name: 'INCLUDE_DEBUG_SYMBOLS',
+      description: 'Decides whether binaries are built with debug symbols.',
+      defaultValue: params.INCLUDE_DEBUG_SYMBOLS ?: false
+    )
   }
 
   options {
diff --git a/ci/cpp/Jenkinsfile.macos b/ci/cpp/Jenkinsfile.macos
index 64335bd95f..6e85f6ad01 100644
--- a/ci/cpp/Jenkinsfile.macos
+++ b/ci/cpp/Jenkinsfile.macos
@@ -15,9 +15,14 @@ pipeline {
   parameters {
     booleanParam(
       name: 'RELEASE',
-      description: 'Decides whether binaries are built with debug symbols.',
+      description: 'Decides whether release credentials are used.',
       defaultValue: params.RELEASE ?: false
     )
+    booleanParam(
+      name: 'INCLUDE_DEBUG_SYMBOLS',
+      description: 'Decides whether binaries are built with debug symbols.',
+      defaultValue: params.INCLUDE_DEBUG_SYMBOLS ?: false
+    )
   }
 
   options {
diff --git a/ci/cpp/Jenkinsfile.windows b/ci/cpp/Jenkinsfile.windows
index 7d7a4be4c6..85edc92ce0 100644
--- a/ci/cpp/Jenkinsfile.windows
+++ b/ci/cpp/Jenkinsfile.windows
@@ -15,9 +15,14 @@ pipeline {
   parameters {
     booleanParam(
       name: 'RELEASE',
-      description: 'Decides whether binaries are built with debug symbols.',
+      description: 'Decides whether release credentials are used.',
       defaultValue: params.RELEASE ?: false
     )
+    booleanParam(
+      name: 'INCLUDE_DEBUG_SYMBOLS',
+      description: 'Decides whether binaries are built with debug symbols.',
+      defaultValue: params.INCLUDE_DEBUG_SYMBOLS ?: false
+    )
   }
 
   options {