Update josephus2.pl