Handling SIGINT signal (CTRL+c) at least for Linux