diff --git a/scripts/build/p-bitwuzla-linux-ubuntu.inc b/scripts/build/p-bitwuzla-linux-ubuntu.inc
index e0ed600211..8a867b441e 100644
--- a/scripts/build/p-bitwuzla-linux-ubuntu.inc
+++ b/scripts/build/p-bitwuzla-linux-ubuntu.inc
@@ -13,4 +13,5 @@ install_build_dependencies_bitwuzla() {
 
   #Install essential dependencies
   with_sudo apt -y --no-install-recommends install "${dependencies[@]}"
+  with_sudo pip3 install --user meson
 }
\ No newline at end of file
diff --git a/scripts/build/p-bitwuzla-osx.inc b/scripts/build/p-bitwuzla-osx.inc
index 47b8c92d87..b1ccfc2302 100644
--- a/scripts/build/p-bitwuzla-osx.inc
+++ b/scripts/build/p-bitwuzla-osx.inc
@@ -1,10 +1,11 @@
 install_build_dependencies_bitwuzla() {
-   dependencies=(
-     ninja
-     python3
-     python3-pip
-     cmake
-     git
-   )
-   brew install "${dependencies[@]}"
+  dependencies=(
+    ninja
+    python3
+    python3-pip
+    cmake
+    git
+  )
+  brew install "${dependencies[@]}"
+  with_sudo pip3 install --user meson
 }
diff --git a/scripts/build/v-bitwuzla.inc b/scripts/build/v-bitwuzla.inc
index 3563e74c65..fa957238ca 100644
--- a/scripts/build/v-bitwuzla.inc
+++ b/scripts/build/v-bitwuzla.inc
@@ -6,6 +6,5 @@ required_variables_bitwuzla=(
 artifact_dependency_bitwuzla=("")
 
 install_build_dependencies_bitwuzla() {
-  source "${DIR}/common-functions"
-  with_sudo pip3 install --user meson
-}
\ No newline at end of file
+  return 0
+}