Re: [graph-tool] Error during make