You can relatively easily build the docker image yourself. To save myself some grief, I always build a fresh docker image, then the vyos-1x package, then the ISO all at the same time.
Thank you very much. It works.
The problem is not with the DockerHub image, but with the github vyos-build repository.
But it would be better if such patches were not required.