gdb batch file saved beforehand