Re: [graph-tool] Graph tool installation issues on SGI machine