[dist] get rid of killproc calls, use the --exit/--restart options instead