patchupdate.py: Fix escaping of some special characters.