Hey yall, I just got a hp chromebook 32bit using linux(beta) and am trying to install pico-8. i've followed the instructions on this page https://www.lexaloffle.com/bbs/?pid=139119#p and keep getting the "cannot execute binary file: Exec format error" error, when i "./pico8_32bit".

i tried downloading a few other versions of the linux/raspi zip files but still nothing seems to work.
i am a total noob when it comes to linux so it might be the case that i am just messing w/ the code.

thank you in advance <3