batch/shell scripts to start the server