update benchmark readme

Signed-off-by: Reto Achermann <[email protected]>

benchmarks/README.md

@@ -4,12 +4,20 @@ The following benchmarks are used in the evaluation for the paper "Verus: A Prac
 
 ## Dependencies
 
-To run the benchmarks, you need to install the following dependencies besides Rust.
+To run the benchmarks, you need to install the following dependencies:
 
 ```
-sudo apt install liburcu-dev libhwloc-dev python3-venv  texlive-xetex texlive-fonts-extra
+sudo apt-get install curl wget liburcu-dev libhwloc-dev python3-venv  texlive-xetex texlive-fonts-extra pkg-config clang make g++
 ```
 
+Install Rust using rustup:
+
+```shell
+$ curl --proto '=https' --tlsv1.2 -sSf https://sh.rustup.rs | sh
+. "$HOME/.cargo/env"
+```
+
+
 Linear Dafny requires a specific version of libssl. You can install this with the follwing command:
 ```
 wget http://archive.ubuntu.com/ubuntu/pool/main/o/openssl/libssl1.1_1.1.0g-2ubuntu4_amd64.deb