Thanks for the idea. I downloaded the patch program and ran it. However, the program replies:

"Nothing to do! The files are already updated."

So no solution I'm afraid!