diff --git a/everest b/everest
index bae87035..9f3219e0 100755
--- a/everest
+++ b/everest
@@ -622,7 +622,6 @@ OCAML
   else
       echo "... rust (cargo) found in PATH"
   fi
-  cargo install bindgen-cli
 
   # .NET 6.0 (needed to compile F* ulib/fs)
   if dotnet --list-sdks | grep '^6\.0\.' >/dev/null ; then
@@ -963,7 +962,7 @@ build_karamel () {
 }
 
 build_pulse () {
-  $MAKE -C pulse $make_opts
+  $MAKE -C pulse $make_opts PULSE_NO_RUST=1
 }
 
 build_steel () {
@@ -1042,7 +1041,7 @@ test_karamel () {
   LD_LIBRARY_PATH= $MAKE -C karamel/test $make_opts everything
 }
 test_pulse () {
-  $MAKE -C pulse test $make_opts
+  $MAKE -C pulse test $make_opts PULSE_NO_RUST=1
 }
 test_steel () {
   $MAKE -C steel test $make_opts