Fix bntest.c problem -- one of the primes got lost