I don't know. Perhaps you should ask the organizer in Discord about it. Make a Windows version, upload it to google drive and give a link.
