arm-linux-gcc: cannot execute binary files

Version imprimable