Remove OS tuning from `run-servers.sh`
Tweak benching params