diff --git a/Cargo.toml b/Cargo.toml
index 567587eb2..02aaf0986 100644
--- a/Cargo.toml
+++ b/Cargo.toml
@@ -81,9 +81,9 @@ path = "src/eq.rs"
 name = "basic"
 path = "src/basic_minimal.rs"
 
-[[bin]]
-name = "vmtest"
-path = "src/vmtest.rs"
+#[[bin]]
+#name = "vmtest"
+#path = "src/vmtest.rs"
 
 [[bin]]
 name = "jubjub-old"