I wish I could offer something, but I just don’t know. Though I recall this problem years ago, I never actually experienced it myself. I upgraded to v14 back when I got my 9900. But I do still have v12 installed and it still works. It might be worth asking on the google group, even though it’s inactive, members seem to still be there, I asked something on there last year and got some replies.
Wasn’t there another group too?