source gdbinit
