New version of gdbinit