Potential bug in nettle-benchmark.c