Update gdb's configure instructions