diff --git a/scripts/setup-rust.sh b/scripts/setup-rust.sh
index 910a680b2baa34cdf994ef43f9627cdd68816a9f..7be4ee8997dd7bb10f9bcfad214e005b62f3c043 100755
--- a/scripts/setup-rust.sh
+++ b/scripts/setup-rust.sh
@@ -4,5 +4,5 @@
 # Inputs: 
 # - REFINEDRUST_ROOT: the root directory of the RefinedRust checkout
 
-cd $REFINEDRUST_ROOT
-$REFINEDRUST_ROOT/rr_frontend/refinedrust build
+cd $REFINEDRUST_ROOT/rr_frontend
+./refinedrust build