faster kill when piped program dies