diff --git a/src/Makefile.in b/src/Makefile.in
index c1c088327d7c100728fd2a7f50700a72bd14f188..89add6954c4d365e793f0b1095d539cc177f9e8d 100644
--- a/src/Makefile.in
+++ b/src/Makefile.in
@@ -192,7 +192,7 @@ verbose_verify: testsuite verbose_verify_modules
 # verify & debug VERBOSE
 gdb_verify: testsuite
 	@echo >.gdbinit handle SIGUSR1 nostop noprint pass
-	@echo >>.gdbinit run -m $(TMP_LIBDIR)/master.pike $(PIKEOPTS) $(TMP_BINDIR)/test_pike.pike testsuite -v -v -f
+	@echo >>.gdbinit run -Mmodules -DNOT_INSTALLED -m $(TMP_LIBDIR)/master.pike $(PIKEOPTS) $(TMP_BINDIR)/test_pike.pike testsuite -v -v -f
 	gdb ./pike
 	@rm .gdbinit