Fix sigint handling