Re: [graph-tool] Ubuntu 13.10 cannot configure properly