The path of the server binary can be set using the SERVER_BINARY in the [server] section. The start and stop commands fail if the binary is not named ServerMain. To be more exact the detection if a server is already running and the stopping of a running server fail because the executable name is hardcoded to ServerMain.