Re: [graph-tool] Segmentation fault v 1.1.2 on Ubuntu 8.10 x64