diff --git a/build.gradle b/build.gradle
index d975517f7d084ca0114b724766343f7eeaca8b97..1bb515fe6023183fe71461aea6d0258fa7f59893 100644
--- a/build.gradle
+++ b/build.gradle
@@ -95,6 +95,7 @@ task downloadPublicExamples(type: Download) {
 task extractPublicExamples(dependsOn: downloadPublicExamples, type: Copy) {
 	from tarTree(resources.gzip("${buildDir}/ProB_public_examples.tgz"))
 	into "${buildDir}/prob_examples"
+	include "public_examples/TLC/**"
 }
 
 clean {