web: bash scripts/run-build-server.sh