diff --git a/ci-support.sh b/ci-support.sh
index bfa441e60878b457a6644221b4f48dbcc8d5a75b..cf151007aa195364b3a6180f873a25ad2f6edb84 100644
--- a/ci-support.sh
+++ b/ci-support.sh
@@ -586,11 +586,11 @@ run_examples()
 
       CONDA_JEMALLOC="$CONDA_PREFIX/lib/libjemalloc.so.2"
       if test "$CONDA_PREFIX" != "" && test -f "$CONDA_JEMALLOC"; then
-        echo "*** running with $CONDA_JEMALLOC in LD_PRELOAD"
-        CI_SUPPORT_LD_PRELOAD="$CONDA_JEMALLOC"
-      else
-        CI_SUPPORT_LD_PRELOAD="$LD_PRELOAD"
+        # echo "*** running with $CONDA_JEMALLOC in LD_PRELOAD"
+        # CI_SUPPORT_LD_PRELOAD="$CONDA_JEMALLOC"
+        echo "*** $CONDA_JEMALLOC installed, skipping because of crashes observed in January 2025"
       fi
+      CI_SUPPORT_LD_PRELOAD="$LD_PRELOAD"
 
       if [[ $example_script == *mpi* ]]; then
         # FIXME: This command line is OpenMPI-specific.)