Re: [graph-tool] shortest_path and pred_map