I've been notified that the Android version of Patch 3.1 is broken on certain phones. I've made the old Patch 2.1 available for that case.
Edit: The issue should be fixed in the version that's now available.
