benchmark: fix linker error on some systems