diff --git a/src/verus.rs b/src/verus.rs
index e9fcdcd..b979b7d 100644
--- a/src/verus.rs
+++ b/src/verus.rs
@@ -1405,14 +1405,6 @@ pub mod install {
             }
         }
 
-        let profile = if release { "release" } else { "debug" };
-        File::create(
-            source_dir
-                .join("target-verus")
-                .join(profile)
-                .join("verus-root"),
-        )?;
-
         status!("Verus build complete");
         Ok(())
     }