Finding the apk now (on some less trusting web sites) - going to try to download different versions and hashing them, so that I know they don't contain malware
And possibly I'll find the busybox thing too....
In either case, already thanks for the good suggestions here

(and sorry if you were already looking to help me ....)