server/workers/build_docker_images.sh tries to build each Docker image individually, but `triple` has no Dockerfile.