I added a start.sh file so that you can just type ./start.sh to both generate and start the server.