Fix benchmark_config; Bump redstone version.