Correct reference to Patch.bat

I missed a reference to patch.bat in commit
6d5aeb3607460ecf3a41947a0621862cb654c1de.