diff --git a/Cargo.lock b/Cargo.lock
index a01abe5..1506efa 100644
--- a/Cargo.lock
+++ b/Cargo.lock
@@ -1360,7 +1360,6 @@ dependencies = [
  "num-traits",
  "serde_json",
  "solidity-verifiers",
- "test-lib",
 ]
 
 [[package]]
@@ -2971,10 +2970,6 @@ dependencies = [
  "windows-sys 0.52.0",
 ]
 
-[[package]]
-name = "test-lib"
-version = "0.1.0"
-
 [[package]]
 name = "textwrap"
 version = "0.11.0"
diff --git a/Cargo.toml b/Cargo.toml
index d596030..7bd84d8 100644
--- a/Cargo.toml
+++ b/Cargo.toml
@@ -9,7 +9,6 @@ edition = "2021"
 ark-r1cs-std = { git = "https://github.com/arnaucube/ark-r1cs-std-cherry-picked/" }
 folding-schemes = { git = "https://github.com/privacy-scaling-explorations/folding-schemes.git", branch="feature/solidity-decider-verifier" }
 solidity-verifiers = { git = "https://github.com/privacy-scaling-explorations/folding-schemes.git", package="solidity-verifiers", branch="feature/solidity-decider-verifier" }
-test-lib = { path = "/Users/pierredm/work/personal/test-lib" }
 ark-light-bitcoin-client = { git = "https://github.com/dmpierre/ark-light-bitcoin-client.git" }
 ark-ff = "0.4.0"
 ark-relations = "0.4.0"
diff --git a/setup-machine-and-run-proving.sh b/setup-machine-and-run-proving.sh
index fd57ed2..338396a 100755
--- a/setup-machine-and-run-proving.sh
+++ b/setup-machine-and-run-proving.sh
@@ -2,8 +2,8 @@
 # running on m7i.metal-24xl instance
 # run with `source ./setup-machine-and-run-proving.sh`
 sudo apt-get update
-sudo apt install build-essential -y
+sudo apt install build-essential tmux -y
 curl https://sh.rustup.rs -sSf | sh -s -- -y
 . "$HOME/.cargo/env"
 git clone https://github.com/dmpierre/folding-schemes-light-btc.git
-cd folding-schemes-light-btc && cargo run -r
\ No newline at end of file
+# cd folding-schemes-light-btc && cargo run -r
\ No newline at end of file