patcher.py: Copy permissions from input zip to output zip