Apply essentially the same change as in upstream, to reduce diff: https://github.com/syncthing/syncthing-android/pull/2070