Use batch mode in gdb