ZIP file updated in-place is not synchronized

• Create zip file
• Open zip file
• Edit a file contained in it
• Close the edited file
• When software asks if the file should be updated, answer yes
• Close the zip file
  => Zip file is not updated on the server

See attached debug logs.