diff --git a/Dockerfile b/Dockerfile
index 14c0abd..055e6a1 100644
--- a/Dockerfile
+++ b/Dockerfile
@@ -22,7 +22,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 41ed1d2..3056187 100755
--- a/toolchain.sh
+++ b/toolchain.sh
@@ -69,8 +69,6 @@ make install-gcc
 cd -
 fi
 
-cp -r hermit/include $PREFIX/x86_64-hermit
-
 cd kernel
 cargo xtask build \
     --artifact-dir . \