Re: [graph-tool] make build error in Graphtool