python zipfile replace file