Py_Main: restore SIGINT handler