Re: [graph-tool] Configure error Installing graph-tool on Ubuntu 12.04 from source