fix gdbinit paste error