(import gymtorch fail) Gymtorch.so: cannot open shared object file: No such file or directory

It happened when I import gymtorch.
The error shows below


It seens the gymtorch.so does not be generated.
But I think this should not happened.

Does anyone know how to fix this? Thanks!