Re: [graph-tool] Strange bug on install