diff --git a/build.gradle b/build.gradle
index 99a9b621a639314e4de2017184dee9d0645de1ec..880c92d5bcc9de3b81652c8af37076735d80dafc 100644
--- a/build.gradle
+++ b/build.gradle
@@ -77,8 +77,13 @@ task downloadPublicExamples(type: Download) {
 }
 
 task extractPublicExamples(dependsOn: downloadPublicExamples, type: Copy) {
+	final outDir = "${buildDir}/prob_examples"
+	doFirst {
+		delete(outDir)
+	}
+	
 	from tarTree(resources.gzip("${buildDir}/ProB_public_examples.tgz"))
-	into "${buildDir}/prob_examples"
+	into outDir
 	include "public_examples/TLC/**"
 }