Fix `synmark` benchmark runner.