Fix benchmarking example

[patrickhart]

Currently, the benchmarking example does not build.

bazel run //examples:benchmark_database --define planner_uct=true

[patrickhart]

Problem still persistent