4050: Raise KeyboardInterrupt rather than os._exit()