diff --git a/NSym/scripts/build_aarch64.sh b/NSym/scripts/build_aarch64.sh
index 66e7f1d9..d7ca8969 100755
--- a/NSym/scripts/build_aarch64.sh
+++ b/NSym/scripts/build_aarch64.sh
@@ -13,6 +13,8 @@ mkdir -p build_src/aarch64
 cd build_src/aarch64
 export LDFLAGS="-fuse-ld=lld"
 cmake -DCMAKE_BUILD_TYPE=$BUILD_TYPE \
+      -DCMAKE_CXX_FLAGS="-ggdb" \
+      -DCMAKE_C_FLAGS="-ggdb" \
       -DBUILD_LIBSSL=OFF \
       -DKEEP_ASM_LOCAL_SYMBOLS=1 \
       -DCMAKE_TOOLCHAIN_FILE=../../scripts/build_aarch64.cmake \
diff --git a/SAW/scripts/aarch64/build_llvm.sh b/SAW/scripts/aarch64/build_llvm.sh
index 0e805012..1f3ebc28 100755
--- a/SAW/scripts/aarch64/build_llvm.sh
+++ b/SAW/scripts/aarch64/build_llvm.sh
@@ -16,6 +16,8 @@ export LLVM_COMPILER=clang
 export BINUTILS_TARGET_PREFIX=aarch64-linux-gnu
 
 cmake -DCMAKE_BUILD_TYPE=$BUILD_TYPE \
+      -DCMAKE_CXX_FLAGS="-ggdb" \
+      -DCMAKE_C_FLAGS="-ggdb" \
       -DBUILD_LIBSSL=OFF \
       -DCMAKE_TOOLCHAIN_FILE=../../scripts/aarch64/build_llvm.cmake \
       -DCMAKE_C_FLAGS="--target=${TARGET} -I/usr/aarch64-linux-gnu/include -I/usr/aarch64-linux-gnu/include/c++/9/aarch64-linux-gnu" \
@@ -25,4 +27,4 @@ cmake -DCMAKE_BUILD_TYPE=$BUILD_TYPE \
       ../../../src
 
 NUM_CPU_THREADS=$(grep -c ^processor /proc/cpuinfo)
-make -j $NUM_CPU_THREADS VERBOSE=1
+make -j $NUM_CPU_THREADS
diff --git a/SAW/scripts/x86_64/build_llvm.sh b/SAW/scripts/x86_64/build_llvm.sh
index e3cbf7bd..2f2e0624 100755
--- a/SAW/scripts/x86_64/build_llvm.sh
+++ b/SAW/scripts/x86_64/build_llvm.sh
@@ -14,6 +14,6 @@ export CC=wllvm
 export CXX=clang++
 # The extern function __breakpoint__inv used in proof of ec_GFp_nistp384_point_mul_public is not defined
 # Option -DCMAKE_CXX_LINK_FLAGS="-Wl,--unresolved-symbols=ignore-in-object-files" allows it
-cmake -DCMAKE_BUILD_TYPE=$BUILD_TYPE -DBUILD_LIBSSL=OFF -DCMAKE_CXX_LINK_FLAGS="-Wl,--unresolved-symbols=ignore-in-object-files" ../../../src
+cmake -DCMAKE_BUILD_TYPE=$BUILD_TYPE -DCMAKE_CXX_FLAGS="-ggdb" -DCMAKE_C_FLAGS="-ggdb" -DBUILD_LIBSSL=OFF -DCMAKE_CXX_LINK_FLAGS="-Wl,--unresolved-symbols=ignore-in-object-files" ../../../src
 NUM_CPU_THREADS=$(grep -c ^processor /proc/cpuinfo)
 make -j $NUM_CPU_THREADS
diff --git a/SAW/scripts/x86_64/build_x86.sh b/SAW/scripts/x86_64/build_x86.sh
index 27d52fff..73f7367f 100755
--- a/SAW/scripts/x86_64/build_x86.sh
+++ b/SAW/scripts/x86_64/build_x86.sh
@@ -13,6 +13,6 @@ export CC=clang
 export CXX=clang++
 # The extern function __breakpoint__inv used in proof of ec_GFp_nistp384_point_mul_public is not defined
 # Option -DCMAKE_CXX_LINK_FLAGS="-Wl,--unresolved-symbols=ignore-in-object-files" allows it
-cmake -DCMAKE_BUILD_TYPE=$BUILD_TYPE -DBUILD_LIBSSL=OFF -DCMAKE_CXX_LINK_FLAGS="-Wl,--unresolved-symbols=ignore-in-object-files" ../../../src
+cmake -DCMAKE_BUILD_TYPE=$BUILD_TYPE -DCMAKE_CXX_FLAGS="-ggdb" -DCMAKE_C_FLAGS="-ggdb" -DBUILD_LIBSSL=OFF -DCMAKE_CXX_LINK_FLAGS="-Wl,--unresolved-symbols=ignore-in-object-files" ../../../src
 NUM_CPU_THREADS=$(grep -c ^processor /proc/cpuinfo)
 make -j $NUM_CPU_THREADS