So luckily the CPU hours did not go to waste as the build script failed when building further binaries - after the one I had at hands and wanted to test was already built successfully. The binary could be reproduced: https://walletscrutiny.com/android/org.electrum.electrum/