patchupdate.py: Remove some dead code.