use repair.exe for updates rather than launcher.exe; seems more reliable