Delete bench2poly.pl~