Re: [graph-tool] Kernel Died Problem