[graph-tool] Ubuntu 13.10 cannot configure properly