3 Apr 2018, 17:17

@Dragu Mine is still 32 bits.
Here is the result of the "file dosbox" command, launched from another Linux workstation:
dosbox: ELF 32-bit LSB executable, ARM, EABI5 version 1 (GNU/Linux), dynamically linked, interpreter /lib/ld-linux-armhf.so.3, for GNU/Linux 4.4.0, stripped