thread liberation after KeyboardInterrupt on main