Out of curiosity and because "Exec format error" rings a bell: Are you
trying to run 64-bit binaries on a 32-bit Linux system?
Greets
--
Christian Helmuth
Genode Labs
https://www.genode-labs.com/ ·
https://genode.org/
https://twitter.com/GenodeLabs · /ˈdʒiː.nəʊd/
Genode Labs GmbH · Amtsgericht Dresden · HRB 28424 · Sitz Dresden
Geschäftsführer: Dr.-Ing. Norman Feske, Christian Helmuth