Thanks a lot for this topic, I had the same issue (wanted to use TIC-80 in portable mode on a USB key too), and I found the solution thanks to you!
