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: 

WalletScrutiny
Electrum Bitcoin Wallet
Review of Electrum Bitcoin Wallet (verdict: sourceavailable)