snm.py: restore SIGINT default handler