Minor updates for gdbinit