SvfitTools: fix memory leaks