diff --git a/debian-bookworm/boolector/HDLC b/debian-bookworm/boolector/HDLC
index 845a73a4..824874ec 100644
--- a/debian-bookworm/boolector/HDLC
+++ b/debian-bookworm/boolector/HDLC
@@ -41,6 +41,6 @@ build() {
   make -C build -j$(nproc) PREFIX="$PREFIX"
   DESTDIR=/opt/boolector
   mkdir -p "${DESTDIR}${PREFIX}"/bin "${DESTDIR}${PREFIX}"/lib
-  cp build/bin/boolector build/bin/btor* deps/btor2tools/bin/btorsim "${DESTDIR}${PREFIX}"/bin/
+  cp build/bin/boolector build/bin/btor* deps/btor2tools/build/bin/* "${DESTDIR}${PREFIX}"/bin/
   cp build/lib/libboolector.a "${DESTDIR}${PREFIX}"/lib/
 }
diff --git a/debian-bullseye/boolector/HDLC b/debian-bullseye/boolector/HDLC
index 845a73a4..824874ec 100644
--- a/debian-bullseye/boolector/HDLC
+++ b/debian-bullseye/boolector/HDLC
@@ -41,6 +41,6 @@ build() {
   make -C build -j$(nproc) PREFIX="$PREFIX"
   DESTDIR=/opt/boolector
   mkdir -p "${DESTDIR}${PREFIX}"/bin "${DESTDIR}${PREFIX}"/lib
-  cp build/bin/boolector build/bin/btor* deps/btor2tools/bin/btorsim "${DESTDIR}${PREFIX}"/bin/
+  cp build/bin/boolector build/bin/btor* deps/btor2tools/build/bin/* "${DESTDIR}${PREFIX}"/bin/
   cp build/lib/libboolector.a "${DESTDIR}${PREFIX}"/lib/
 }