sigint still does not work