Re: [graph-tool] Segmentation fault when running the animation scripts in the Cookbook section