Use main.bat to run on a Windows machine, run main.py on a Linux machine.