We now have new ABI binaries for libtorch. They can be found on
http://pytorch.org 14, or at https://github.com/pytorch/pytorch/issues/17492#issuecomment-524692441 57, which would also resolve this problem.