diff --git a/scripts/cfg-leak b/scripts/cfg-leak
index 14b3444cd..4ec425e30 100755
--- a/scripts/cfg-leak
+++ b/scripts/cfg-leak
@@ -1,4 +1,4 @@
 #!/bin/bash
 CFLAGS="-Wall -Wno-format -Wno-pointer-sign -Wno-strict-aliasing -g -O2" ./configure \
---sysconfdir=/etc --disable-tools --disable-pluto --enable-leak-detective --with-random-device=/dev/urandom \
+--sysconfdir=/etc --disable-tools --disable-pluto --enable-leak-detective --enable-dumm \
 $1 $2 $3 $4 $5