Fixed the segmentation fault in dotnettool (#437)