[graph-tool] all_paths seems to repeat identical paths