changed sigint_handler