Renamed gs3-launch.bat to gs3-launch.bat.in (because it contains the server hostname and port, which the user sets).