disable SIGINT in cleanup(), so the user will not be able to interrupt it