The zip download also doesn't run on fedora - or at least it didn't for me. Though someone over at reddit recommended me to just compile tic80 myself for future people looking this up. I switched distro's in the meantime.
Interesting, the non-pro zipped build ran fine for me on Fedora. Good to hear you can compile from source still.