Fix a build failure with the micro-benchmarks

[mjklemm]

Since this is a trivial fix that only pertains to CircleCI, I'm pushing this w/o review.