Current Docker build takes quite long and needs to be improved, but using a release binary directly instead of building the server in the Dockerfile