diff --git a/Dockerfile b/Dockerfile
index cffc7361..52a7b4e5 100644
--- a/Dockerfile
+++ b/Dockerfile
@@ -21,4 +21,4 @@ COPY docker/04-cleanup.sh /tmp/04-cleanup.sh
 RUN /tmp/04-cleanup.sh && rm /tmp/04-cleanup.sh
 
 # Include file path
-ENV CPATH /usr/lib/jvm/java-8-openjdk-amd64/include:/usr/lib/jvm/java-8-openjdk-amd64/include/linux:/usr/lib/llvm-3.7/include
+ENV CPATH /usr/lib/jvm/java-8-openjdk-amd64/include:/usr/lib/jvm/java-8-openjdk-amd64/include/linux:/usr/lib/llvm-3.7/include:/usr/local/libtorch/include
diff --git a/docker/03-custom-install.sh b/docker/03-custom-install.sh
index 14ba0dee..7c3c11a4 100755
--- a/docker/03-custom-install.sh
+++ b/docker/03-custom-install.sh
@@ -70,3 +70,4 @@ Z3_VER=4.13.4
 curl -OL https://download.pytorch.org/libtorch/cpu/libtorch-shared-with-deps-$LIBTORCH_VERSION%2Bcpu.zip
 unzip libtorch-shared-with-deps-$LIBTORCH_VERSION%2Bcpu.zip -d /usr/local/
 rm libtorch-shared-with-deps-$LIBTORCH_VERSION%2Bcpu.zip
+mv /usr/local/libtorch/lib/lib* /usr/lib/