Update josephus2.c