diff --git a/scripts/devel-stub.sh b/scripts/devel-stub.sh
index faf2e2262..3f26a56aa 100644
--- a/scripts/devel-stub.sh
+++ b/scripts/devel-stub.sh
@@ -9,6 +9,6 @@
 #
 # NOTE: DO NOT INSTALL THIS FILE.
 
-./ivl -v -Ctgt-stub/stub-s.conf -C./scripts/devel-stub.conf -Pa.pf -Na.net -fDLL=tgt-stub/stub.tgt foo.vl |& tee foo.log
+./ivl -v -Ctgt-stub/stub.conf -C./scripts/devel-stub.conf -Pa.pf -Na.net -fDLL=tgt-stub/stub.tgt foo.vl |& tee foo.log
 
 echo "*** ivl command completed"