scripts/patchfile.py: Add support for Windows