diff --git a/.github/workflows/Dockerfile.stack-deps b/.github/workflows/Dockerfile.stack-deps
index 0bb07c8cfd1..0d4f4ae8469 100644
--- a/.github/workflows/Dockerfile.stack-deps
+++ b/.github/workflows/Dockerfile.stack-deps
@@ -33,4 +33,5 @@ RUN cd /home/$USER/.tmp-haskell && stack build --only-snapshot
 ENV LC_ALL=C.UTF-8
 ADD --chown=$USER:$GROUP hs-backend-booster/src/main/native/hs-backend-booster/stack.yaml                    /home/$USER/.tmp-booster/
 ADD --chown=$USER:$GROUP hs-backend-booster/src/main/native/hs-backend-booster/package.yaml                  /home/$USER/.tmp-booster/
+ADD --chown=$USER:$GROUP hs-backend-booster/src/main/native/hs-backend-booster/dev-tools/package.yaml        /home/$USER/.tmp-booster/dev-tools/
 RUN cd /home/$USER/.tmp-booster && stack build --only-snapshot
diff --git a/deps/hs-backend-booster_release b/deps/hs-backend-booster_release
index 93f62a1b56c..ddb6056a270 100644
--- a/deps/hs-backend-booster_release
+++ b/deps/hs-backend-booster_release
@@ -1 +1 @@
-ffd277b68ef1993ab7b94d6e7593729208c21f11
+5294940d0f5a58a685b0f30934ed8fdb5dd3fa14
diff --git a/flake.lock b/flake.lock
index ba1e2754141..429aa08b4db 100644
--- a/flake.lock
+++ b/flake.lock
@@ -15,17 +15,17 @@
         ]
       },
       "locked": {
-        "lastModified": 1701710836,
-        "narHash": "sha256-i98zbzx5mA6dh2Tet9B9I4+JohyaQg2ET8ueAe9hizs=",
+        "lastModified": 1701735161,
+        "narHash": "sha256-ez9JDQd5EEVmmGkWv4Yg4XmK6CeDYNOsqd3HPUQAiHg=",
         "owner": "runtimeverification",
         "repo": "hs-backend-booster",
-        "rev": "ffd277b68ef1993ab7b94d6e7593729208c21f11",
+        "rev": "5294940d0f5a58a685b0f30934ed8fdb5dd3fa14",
         "type": "github"
       },
       "original": {
         "owner": "runtimeverification",
         "repo": "hs-backend-booster",
-        "rev": "ffd277b68ef1993ab7b94d6e7593729208c21f11",
+        "rev": "5294940d0f5a58a685b0f30934ed8fdb5dd3fa14",
         "type": "github"
       }
     },
diff --git a/flake.nix b/flake.nix
index 43b15ffa8c4..656a3df4b86 100644
--- a/flake.nix
+++ b/flake.nix
@@ -3,7 +3,7 @@
   inputs = {
     haskell-backend.url = "github:runtimeverification/haskell-backend/0be07d293a1167615ef9342bb1820350f794e893";
     booster-backend = {
-      url = "github:runtimeverification/hs-backend-booster/ffd277b68ef1993ab7b94d6e7593729208c21f11";
+      url = "github:runtimeverification/hs-backend-booster/5294940d0f5a58a685b0f30934ed8fdb5dd3fa14";
       inputs.nixpkgs.follows = "haskell-backend/nixpkgs";
       inputs.haskell-backend.follows = "haskell-backend";
       inputs.stacklock2nix.follows = "haskell-backend/stacklock2nix";
diff --git a/hs-backend-booster/pom.xml b/hs-backend-booster/pom.xml
index 8eaaf98e30e..b8301a8125b 100644
--- a/hs-backend-booster/pom.xml
+++ b/hs-backend-booster/pom.xml
@@ -61,6 +61,7 @@
                 <mkdir dir="${project.build.directory}/stack-install" />
                 <exec executable="stack" dir="${project.basedir}/src/main/native/hs-backend-booster" failonerror="true">
                   <arg value="install" />
+                  <arg value="hs-backend-booster" />
                   <arg line="${stack.extra-opts}" />
                   <arg value="--local-bin-path=${project.build.directory}/stack-install" />
                 </exec>
diff --git a/hs-backend-booster/src/main/native/hs-backend-booster b/hs-backend-booster/src/main/native/hs-backend-booster
index ffd277b68ef..5294940d0f5 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 ffd277b68ef1993ab7b94d6e7593729208c21f11
+Subproject commit 5294940d0f5a58a685b0f30934ed8fdb5dd3fa14