Fix start_servers.sh