Shell: Use INT instead of TERM to kill child processes