gdbinit : fix