I think I've succeeded in this. The difficulty was that of course on Android one couldn't run the .bat file to apply the patch. So I downloaded the game to my PC, applied the patch, then made a RAR archive of the patched game and uploaded it to Mega. Hopefully that should run on Android under Joiplay. I've checked that it does at least load using Joiplay, but haven't had time yet to do any more than that. Here's the link:
Mega
Just download the RAR from there, and then use Joiplay's Import Archive File option to add the game.