I finally got Tic80 to install on a raspberry pi 5 by using the command line to extract the .deb file. (in case any of the 533 people who read my post 14 months ago and never replied were wondering.) But there's no toolbar shortcut, and I don't know where to look for an executable. All the commands i've tried in the terminal return errors. How do I run this thing?