Letting abort_exception handle KeyboardInterrupt