Re: [graph-tool] Graphtool segfaulted