diff --git a/flake.lock b/flake.lock
index 2a99219ace6..8ad5c8d8e06 100644
--- a/flake.lock
+++ b/flake.lock
@@ -29,6 +29,22 @@
         "type": "github"
       }
     },
+    "flake-compat": {
+      "flake": false,
+      "locked": {
+        "lastModified": 1696426674,
+        "narHash": "sha256-kvjfFW7WAETZlt09AgDn1MrtKzP7t90Vf7vypd3OL1U=",
+        "owner": "edolstra",
+        "repo": "flake-compat",
+        "rev": "0f9255e01c2351cc7d116c072cb317785dd33b33",
+        "type": "github"
+      },
+      "original": {
+        "owner": "edolstra",
+        "repo": "flake-compat",
+        "type": "github"
+      }
+    },
     "flake-utils": {
       "inputs": {
         "systems": "systems"
@@ -104,6 +120,7 @@
     },
     "llvm-backend": {
       "inputs": {
+        "flake-compat": "flake-compat",
         "fmt-src": "fmt-src",
         "immer-src": "immer-src",
         "mavenix": "mavenix",
@@ -118,11 +135,11 @@
         ]
       },
       "locked": {
-        "lastModified": 1707165762,
-        "narHash": "sha256-mBJoLWiIhDny7NfhPCGW2aNoyvXRBnrL5kLoQQSr9iI=",
+        "lastModified": 1707214073,
+        "narHash": "sha256-P115n355lWJAdlm9MSo+mK+FdFPRytzZnbOn5bwvr5E=",
         "owner": "runtimeverification",
         "repo": "llvm-backend",
-        "rev": "29b03b489e1551b92d21b03ab7b4c58322985aee",
+        "rev": "c96dbb1302774f5e286dc7bd68ed1f0110121034",
         "type": "github"
       },
       "original": {
@@ -137,15 +154,15 @@
         "utils": "utils"
       },
       "locked": {
-        "lastModified": 1643802645,
-        "narHash": "sha256-BynM25iwp/l3FyrcHqiNJdDxvN6IxSM3/zkFR6PD3B0=",
-        "owner": "nix-community",
+        "lastModified": 1689018333,
+        "narHash": "sha256-sthxx50rj0E7gv38oeMj8GZOp7i1776P1qZsM7pVLd0=",
+        "owner": "goodlyrottenapple",
         "repo": "mavenix",
-        "rev": "ce9ddfd7f361190e8e8dcfaf6b8282eebbb3c7cb",
+        "rev": "153d69e62f87e5dd37d35492cc3e35dd80d2b5fa",
         "type": "github"
       },
       "original": {
-        "owner": "nix-community",
+        "owner": "goodlyrottenapple",
         "repo": "mavenix",
         "type": "github"
       }
diff --git a/llvm-backend/src/main/native/llvm-backend b/llvm-backend/src/main/native/llvm-backend
index 29b03b489e1..c96dbb13027 160000
--- a/llvm-backend/src/main/native/llvm-backend
+++ b/llvm-backend/src/main/native/llvm-backend
@@ -1 +1 @@
-Subproject commit 29b03b489e1551b92d21b03ab7b4c58322985aee
+Subproject commit c96dbb1302774f5e286dc7bd68ed1f0110121034