adds support for proper handling of SIGINT