Re: [graph-tool] bad_any_cast when reading graphml