Hi Hans

>
> (btw, i think a 32 bit arm bij should run on the 64 right, and the 32
> bit is still old debian)


Could be, but one has to install the 32-bit linker and libraries. It
doesn't work out of the box. I tested it. And the binary is not recognised
as such:

user@penguin:~/test/bin$ ./mtxrun
-bash: ./mtxrun: No such file or directory

user@penguin:~/test/bin$ file mtxrun
mtxrun: ELF 32-bit LSB executable, ARM, EABI5 version 1 (SYSV), dynamically
linked, interpreter /lib/ld-linux-armhf.so.3, for GNU/Linux 3.2.0,
BuildID[sha1]=2605a12bc4b8fdedf57f71908f74f3ad3fbedcc8, stripped

user@penguin:~/test/bin$ ldd mtxrun
        not a dynamic executable

Sorry for the not so good news...

Christian