We don't need main.py anymore.