Okay. Turns out that the docker image needs tvm to be built from scratch, per the documentation. (My surprise is that I thought this was the purpose of the docker image.) . After that all works fine. Don’t forget to commit your image after you build!