[graph-tool] choose version of graphtool