update gencertbuf.pl to generate sizeof ints
add sizeof ints back to certs_test.h, fix cert buffer usage in benchmark.c