make gdb_verify updated

Rev: src/modules/call_out/Makefile.src:1.3
Rev: src/modules/files/Makefile.src:1.3
Rev: src/modules/gdbmmod/Makefile.src:1.3
Rev: src/modules/gmpmod/Makefile.src:1.3
Rev: src/modules/image/Makefile.src:1.3
Rev: src/modules/math/Makefile.src:1.3
Rev: src/modules/pipe/Makefile.src:1.3
Rev: src/modules/readlinemod/Makefile.src:1.3
Rev: src/modules/regexp/Makefile.src:1.3
Rev: src/modules/spider/Makefile.src:1.3
Rev: src/modules/sprintf/Makefile.src:1.3