docker image is different when running from different host

Question

During building of a 3rd party library (libtorch, if it matters) in a docker container, I came across an error of a missing include file. The same process of bu