snuffler: reset sigint handler after snuffle()