Thanks for your help, Alex.
I did as you suggested but initially without success. Then Windows 10 installed its "Anniversary Update", and although this scrambled some other things WX tide started working properly immediately afterwards. I don't know if this is cause and effect, or whether I had eventually done something right in the end, but either way I am happy with the outcome.
Regards,
Alan