diff --git a/EXTERNAL_FILES/develop.zip b/EXTERNAL_FILES/develop.zip
deleted file mode 100644
index 44186f0b..00000000
Binary files a/EXTERNAL_FILES/develop.zip and /dev/null differ
diff --git a/EXTERNAL_FILES/goblint-cil-2.0.1.tbz b/EXTERNAL_FILES/goblint-cil-2.0.1.tbz
deleted file mode 100644
index 4e8556e7..00000000
Binary files a/EXTERNAL_FILES/goblint-cil-2.0.1.tbz and /dev/null differ