Windows 10 1809 ZIP copy fail: workaround revealed, patch due