Fix bitv bench

Fixes #12118.