Is it an independent file, or should I have the original tribext installed first? I uninstalled that a while back, for reasons that I'm sure made sense at the time...
Perhaps TBG can advise.
Guess the problem was/is with my cranky old desktop (which appears to have been stuck in a sulky update loop since my third attempt at a restart...
Oh, it's so great to have the 4 button back. Thanks TBG!!! :)