Thanks for your help. It occurred to me to search the hard drive for an old version, and it turned out that I had a 5.8.8.820 installer around, so I just uninstalled the 5.8.14 and installed the old version. Everything works fine now.