ctrl-c signal handler added