diff -r 0d7348cb7faa -r dd364fef67b4 scripts/build/debug/duma.in
--- a/scripts/build/debug/duma.in	Mon Jun 30 20:37:14 2008 +0000
+++ b/scripts/build/debug/duma.in	Sat Jul 19 12:15:17 2008 +0000
@@ -13,7 +13,18 @@
     shift
     ;;
   -off)
-    LD_PRELOAD="${LD_PRELOAD//${LIBDUMA_SO}/}"
+    # We use a suposedly POSIX-compliant shell: /bin/sh
+    #  -> we can't use "${LD_PRELOAD//${LIBDUMA_SO}/}", it's not POSIX
+    # We don't know if sed will be present on the target
+    #  -> we can't use $(echo "${LD_PRELOAD}" |sed -r -e "s|${LIBDUMA_SO}||;")
+    # So, iterate through LD_PRELOAD, and keep only those libs that
+    # are not "${LIBDUMA_SO}"
+    old_LD_PRELOAD="${LD_PRELOAD}"
+    LD_PRELOAD=
+    for lib in ${old_LD_PRELOAD}; do
+      [ "${lib}" = "${LIBDUMA_SO}" ] || LD_PRELOAD="${LD_PRELOAD} ${lib}"
+    done
+    unset old_LD_PRELOAD
     shift
     ;;
   -show)