Maybe it still appears in /var/lib/dpkg/status? If it is, try deleting the entry from there.

Yeah, some vendors do this, I think the .exe basically unpacks the .bin file then calls some API or something to push it from Windows while it’s running. Probably done for the sake of more casual users who don’t know/want to mess with the actual BIOS UI.

Oh yeah, Time Commando. Had the demo as a kid and I played it so much, thought it was the best game ever. The demo was just some parts of the prehistoric and roman levels, I think. Then years later I suddenly remembered it and picked it up on sale from GOG, and oh boy, did this game age badly. The cutting edge graphics for its time are just plain ugly today, and the gameplay is boring. My advice to you is stick to your memories but don’t bother with the actual game.

Thanks, bookmarking that. I always get -L and -R mixed up and have to look up examples, this one looks very handy.