diff --git a/.gitignore b/.gitignore
index bfb30ec..f03d2a0 100644
--- a/.gitignore
+++ b/.gitignore
@@ -1 +1,3 @@
 /.lake
+/asyncio
+/Basic_aristotle.lean
diff --git a/run_aristotle.py b/run_aristotle.py
index 68e5d42..88facb7 100755
--- a/run_aristotle.py
+++ b/run_aristotle.py
@@ -1,9 +1,11 @@
+#!/usr/bin/python
+
 import asyncio
 import aristotlelib
 
 async def main():
     # Prove a theorem from a Lean file
-    solution_path = await aristotlelib.Project.prove_from_file("/home/kebekus/Mathe/aristotle/Basic.lean")
+    solution_path = await aristotlelib.Project.prove_from_file("/home/kebekus/Mathe/aristotle/Aristotle/Basic.lean")
     print(f"Solution saved to: {solution_path}")
 
 asyncio.run(main())