[graph-tool] Re: The graph-tool build consumes too much memory