diff --git a/util/pure_concolic_execution.sh b/util/pure_concolic_execution.sh
index cbf0c1e7..0c6d61c9 100755
--- a/util/pure_concolic_execution.sh
+++ b/util/pure_concolic_execution.sh
@@ -57,7 +57,7 @@ if [[ -v failed_dir ]]; then
 fi
 
 function cleanup() {
-    rm -rf $work_dir
+    rm -rf --preserve-root -- $work_dir
 }
 
 trap cleanup EXIT