config/benchmark_profile: add missing '