Thu, 21 Jan 2010 07:16:27 +0900 Shingo W. Kagami Add run_servers.sh and mamefile.sh.