Thanks for reporting back. I had a feeling about that. I’ll have to look and see what mine are but I believe they are 32-bit versions of the plugins.
Even though the plugins are all old it doesn’t mean they’re obsolete. Well, unless you’re one of those guys who are chasing the flavor of the day.