Fix rebench.conf