gdbinit 8.0.6