GitHub-Pull-Request: https://github.com/syncthing/syncthing/pull/3703
This reverts commit 81bc6bf34b, reversing changes made to 7de736e8d0. Unfortunately this tricks the upgrade system into picking the wrong binary. We need to fix the upgrade system before merging this.
81bc6bf34b
7de736e8d0