added ctrl-c signal handler