Did the patch today solve the OS 32bit saving issue?