TIC-80 Pro won't even fire up on Linux Mint. The screen goes black and there's no way to escape other than to hold down the on/off button until the computer "calls it a day". Reinstalled the free version and everything works just fine. The android pro version works fine too.