diff --git a/flake.nix b/flake.nix
index 1eaaf262a52..441f83602c1 100644
--- a/flake.nix
+++ b/flake.nix
@@ -4,7 +4,7 @@
     nixpkgs.url = "nixpkgs/nixos-23.05";
     haskell-backend.url = "github:runtimeverification/haskell-backend/63397c713d21322434d572281c1407d929a1189e";
     booster-backend = {
-      url = "github:runtimeverification/hs-backend-booster/b01c3d729070882be1c15ce3dc9b7ee0bbfe04fe";
+      url = "github:runtimeverification/hs-backend-booster/6c2f5ab988e2c5f98b1cdeb04b8a5787d8a7c566";
       # NB booster-backend will bring in another dependency on haskell-backend,
       # but the two are not necessarily the same (different more often than not).
       # We get two transitive dependencies on haskell-nix.
diff --git a/hs-backend-booster/src/main/native/hs-backend-booster b/hs-backend-booster/src/main/native/hs-backend-booster
index b01c3d72907..6c2f5ab988e 160000
--- a/hs-backend-booster/src/main/native/hs-backend-booster
+++ b/hs-backend-booster/src/main/native/hs-backend-booster
@@ -1 +1 @@
-Subproject commit b01c3d729070882be1c15ce3dc9b7ee0bbfe04fe
+Subproject commit 6c2f5ab988e2c5f98b1cdeb04b8a5787d8a7c566