Issue6883: nix traceback for shell.system if exception is KeyboardInterrupt