more for gdbinit