pregel_scc_tosccgraphformat.h bug fix