diff --git a/klee-2.3+20220826.obscpio b/klee-2.3+20220826.obscpio
deleted file mode 100644
index 618f40f..0000000
--- a/klee-2.3+20220826.obscpio
+++ /dev/null
@@ -1,3 +0,0 @@
-version https://git-lfs.github.com/spec/v1
-oid sha256:85284e91056896035b0324383c51878b9f6e1964e2838c8796999460fef9a4d3
-size 19618317
diff --git a/klee-2.3+20220926.obscpio b/klee-2.3+20220926.obscpio
new file mode 100644
index 0000000..aff0731
--- /dev/null
+++ b/klee-2.3+20220926.obscpio
@@ -0,0 +1,3 @@
+version https://git-lfs.github.com/spec/v1
+oid sha256:7b125f1811f9709d01c21eb79825d63d2a0ad8b9c36e4e56211661a1448b80cb
+size 19689485