[issue6883] catch keyboardinterrupt if generated during shell.system() calls