Fix benchmark-servers-start.bat