Fixed the segmentation fault in dotnettool (#437)

No match.