Re: [graph-tool] error with manual compilation