fix gdbinit name