Update primes.pl