diff --git a/Dockerfile b/Dockerfile
index 09d453e..651507e 100644
--- a/Dockerfile
+++ b/Dockerfile
@@ -17,7 +17,6 @@ WORKDIR /root
 
 ADD --link https://github.com/hermit-os/binutils.git binutils
 ADD --link https://github.com/hermit-os/gcc.git gcc
-ADD --link https://github.com/hermit-os/hermit-playground.git hermit
 ADD --link https://github.com/hermit-os/kernel.git#hermit-c kernel
 ADD --link https://github.com/hermit-os/newlib.git newlib
 ADD --link https://github.com/hermit-os/pthread-embedded.git pte
diff --git a/toolchain.sh b/toolchain.sh
index a8bffe2..06bd187 100755
--- a/toolchain.sh
+++ b/toolchain.sh
@@ -68,8 +68,6 @@ make install-gcc
 cd -
 fi
 
-cp -r hermit/include $PREFIX/x86_64-hermit
-
 cd kernel
 cargo xtask build \
     --artifact-dir . \