Question: How can one run the patcher for updates on Linux? The only option is to download an .exe file.