>>984
ZIPの解凍は他の適当なツールでも出来るよ。
patchはvectorにWindowsネイティブで動く奴があったと思う。
手動でやろうと思えば出来ないことはないけどあんまり現実的じゃないな。