Simon Tatham's Puzzles: F-Droid builds crash; manual build steps required

I'm the developer of the Android version of Simon Tatham's Puzzles and I just got a bug report: https://github.com/chrisboyle/sgtpuzzles/issues/409 plus 2 others by email.

It seems F-Droid's APK available from here https://f-droid.org/repository/browse/?fdid=name.boyle.chris.sgtpuzzles is missing some required files, libpuzzlesgen-with-pie.so and libpuzzlesgen-no-pie.so.

Due to deficiencies of the current gradle-experimental build system, a manual step is required in order to include these files in the build. You just need to run the additional gradle task buildGameGenerationExecutableRelease (or ...Debug for a debug build) before the main build. If I could make this happen automatically I would. If you know how to attach such an additional task to the dependency chain please do let me know.

More generally, to whomever is maintaining the F-Droid builds of this, please check you can open the app and click "New game" before publication; this would have prevented confusion for at least 3 users.