Fixed some bitrot in the gdb_verify targets. Rev: src/Makefile.in:1.311 Rev: src/modules/dynamic_module_makefile.in:1.95 Rev: src/modules/static_module_makefile.in:1.86