Re: [graph-tool] Installation of graph-tool-2.19 fails on RedHat 6.5