Fix stack pointer allocation error in gdb script