diff --git a/flake.nix b/flake.nix
index 8944e3f507d..241d643961e 100644
--- a/flake.nix
+++ b/flake.nix
@@ -4,7 +4,7 @@
     nixpkgs.url = "nixpkgs/nixos-23.05";
     haskell-backend.url = "github:runtimeverification/haskell-backend/cdc83446c302961cd6abd2bca8c3e73dde8f6eab";
     booster-backend = {
-      url = "github:runtimeverification/hs-backend-booster/ec1da250a8da41dc6b9aeb7786cd4093d3584225";
+      url = "github:runtimeverification/hs-backend-booster/303d568ed2a6bbe0b7d71d9df65b22b43b0c39ba";
       # 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 ec1da250a8d..303d568ed2a 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 ec1da250a8da41dc6b9aeb7786cd4093d3584225
+Subproject commit 303d568ed2a6bbe0b7d71d9df65b22b43b0c39ba