No longer put the generated .exe in Git; the installer is enough.