Improve start_servers script.