more gdbinit updates