diff --git a/Main.lean b/Test.lean
similarity index 100%
rename from Main.lean
rename to Test.lean
diff --git a/lakefile.lean b/lakefile.lean
index 4f7e8eb..69eb760 100644
--- a/lakefile.lean
+++ b/lakefile.lean
@@ -12,7 +12,7 @@ lean_lib Extism
 
 @[default_target]
 lean_exe test {
-  root := `Main
+  root := `Test
 }
 
 target bindings.o pkg : FilePath := do