FWIW, here's where I find it on my Pi.
1. Drop to a command line
2. Type ./setup and press RETURN
3. From the main menu, press "P" for "Manage packages" and press RETURN
4. Arrow down to "exp Manage experimental packages" and press RETURN
5. Arrow down to "148 ti99sim" and press RETURN
I can't recall off the top of my head how to convert ctg to rpk (I did it several months back). I can easily post ctg and bios files here if need be.
Edited by etownandy, Wed Jul 19, 2017 12:12 PM.