[graph-tool] vertex.in_edges() on undirected graphs throws a segmentation fault