Whoops; fix compilation in bench.c