GDB helper scripts