Update instructions with gdb-7.7