GameShell: Cannot launch version 1.1.2837 Pro (be42d6f)

[bennypowers]

Cannot launch tic 80 PRO on the game shell. I have Linux 5.3.6-clockworkpi-cpi3 armv7l. Launcher stable 1.25. OS Image V0.5.

we can reproduce by copying both the linux and rpi builds to the gameshell, setting them as executable, then trying to launch them

scp Downloads/tic80-v1.1-rpi-pro/tic80 cpi@gamesh:~/apps/Menu/51_TIC-80/tic80pro-rpi
scp Downloads/tic80-v1.1-linux-pro/tic80 cpi@gamesh:~/apps/Menu/51_TIC-80/tic80pro-linux
ssh cpi@gamesh
chmod a+x ~/apps/Menu/51_TIC-80/tic80*
ls -l ~/apps/Menu/51_TIC-80/
total 27012
-rwxr-xr-x 1 cpi cpi  7573016 Mar  1  2019 tic80pro
-rwxr-xr-x 1 cpi cpi  9475240 Dec 17 19:39 tic80pro-linux
-rwxr-xr-x 1 cpi cpi 10601488 Dec 17 19:39 tic80pro-rpi
-rwxr-xr-x 1 cpi cpi       58 Mar  1  2019 TIC-80.sh
cd ~/apps/Menu/51_TIC-80/
./tic80pro-rpi
./tic80pro-rpi: error while loading shared libraries: libbcm_host.so: cannot open shared object file: No such file or directory
./tic80pro-linux 
-bash: ./tic80pro-linux: cannot execute binary file: Exec format error

[bennypowers]

see https://forum.clockworkpi.com/t/help-install-new-tic-80-version-please/9209/2

[bennypowers]

#2188 (comment)